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/coq
root bab2f19597
Sync with portage [Wed May 4 09:06:39 MSK 2016].
8 years ago
..
files Sync with portage [Wed May 4 09:06:39 MSK 2016]. 8 years ago
Manifest Sync with portage [Tue Apr 12 01:15:03 MSK 2016]. 8 years ago
coq-8.4_p5.ebuild Sync with portage [Thu Nov 12 22:04:30 MSK 2015]. 9 years ago
coq-8.4_p6.ebuild Sync with portage [Mon Aug 10 23:59:37 MSK 2015]. 9 years ago
coq-8.5.ebuild Sync with portage [Sun Jan 24 15:05:52 MSK 2016]. 8 years ago
coq-8.5_p1.ebuild Sync with portage [Wed May 4 09:06:39 MSK 2016]. 8 years ago
metadata.xml Sync with portage [Mon Jan 25 16:13:37 MSK 2016]. 8 years ago