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 a033c70864
Sync with portage [Fri Apr 21 17:26:18 MSK 2017].
8 years ago
..
files Sync with portage [Mon Feb 4 12:27:32 MSK 2013]. 12 years ago
Manifest Sync with portage [Mon Jun 23 16:46:18 MSK 2014]. 11 years ago
kodkod-1.5.2-r1.ebuild Sync with portage [Fri Apr 21 17:26:18 MSK 2017]. 8 years ago
kodkod-1.5.2.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