gentoo-overlay/sci-mathematics/isabelle
2016-03-10 22:02:12 +03:00
..
files Sync with portage [Mon Mar 7 19:10:20 MSK 2016]. 2016-03-07 19:10:20 +03:00
isabelle-2015.ebuild Sync with portage [Tue Feb 16 16:19:05 MSK 2016]. 2016-02-16 16:19:06 +03:00
Manifest Sync with portage [Mon Mar 7 19:10:20 MSK 2016]. 2016-03-07 19:10:20 +03:00
metadata.xml Sync with portage [Mon Mar 7 19:10:20 MSK 2016]. 2016-03-07 19:10:20 +03:00