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.
gentoo-overlay/sci-mathematics/kodkod
root 905560bdd7
Sync with portage [Mon Apr 9 09:35:29 MSK 2018].
7 years ago
..
files
Manifest Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
kodkod-1.5.2-r1.ebuild Sync with portage [Fri Apr 21 17:26:18 MSK 2017]. 8 years ago
metadata.xml Sync with portage [Mon Jan 25 16:13:37 MSK 2016]. 9 years ago