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/isabelle
root 939fe712c7
Sync with portage [Fri Sep 8 00:50:49 MSK 2017].
7 years ago
..
files Sync with portage [Thu Feb 2 08:30:27 MSK 2017]. 8 years ago
Manifest Sync with portage [Sat Jan 28 20:46:25 MSK 2017]. 8 years ago
isabelle-2016.1.ebuild Sync with portage [Fri Sep 8 00:50:49 MSK 2017]. 7 years ago
metadata.xml Sync with portage [Sat Jan 28 20:46:25 MSK 2017]. 8 years ago