calculate
/
gentoo-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'ea178559d7'
${ noResults }
gentoo-overlay/dev-lang/dafny-bin
History
root ea178559d7
Sync with portage [Sun Oct 1 11:43:26 MSK 2023]. 		8 months ago
..
Manifest Sync with portage [Sun Oct 1 11:43:26 MSK 2023]. 8 months ago
dafny-bin-3.12.0.ebuild Sync with portage [Mon Sep 18 10:39:55 MSK 2023]. 8 months ago
dafny-bin-4.2.0.ebuild Sync with portage [Mon Sep 18 10:39:55 MSK 2023]. 8 months ago
dafny-bin-4.3.0.ebuild Sync with portage [Sun Oct 1 11:43:26 MSK 2023]. 8 months ago
metadata.xml Sync with portage [Thu Mar 2 08:35:57 MSK 2023]. 1 year ago