calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/sci-mathematics/isabelle
History
root 84548ab45b Sync with portage [Tue Feb 16 23:21:09 MSK 2016].
2016-02-16 23:21:10 +03:00
..
files Sync with portage [Tue Feb 16 16:23:54 MSK 2016]. 2016-02-16 16:23:54 +03:00
ChangeLog Sync with portage [Tue Feb 16 23:21:09 MSK 2016]. 2016-02-16 23:21:10 +03:00
ChangeLog-2015 Sync with portage [Tue Nov 10 18:02:10 MSK 2015]. 2015-11-10 18:02:13 +03:00
isabelle-2011.1-r2.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
isabelle-2011.1.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
isabelle-2012-r1.ebuild Sync with portage [Mon Aug 24 15:08:44 MSK 2015]. 2015-08-24 15:08:46 +03:00
isabelle-2013-r2.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
isabelle-2013.2-r1.ebuild Sync with portage [Mon Aug 24 15:08:44 MSK 2015]. 2015-08-24 15:08:46 +03:00
isabelle-2015.ebuild Sync with portage [Tue Feb 16 16:23:54 MSK 2016]. 2016-02-16 16:23:54 +03:00
Manifest Sync with portage [Tue Feb 16 23:21:09 MSK 2016]. 2016-02-16 23:21:10 +03:00
metadata.xml Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 2016-01-26 08:51:40 +03:00