gentoo-full-overlay/sci-mathematics/coq
2014-10-01 13:17:11 +04:00
..
files Sync with portage [Tue Aug 20 06:17:51 MSK 2013]. 2013-08-20 06:17:53 +04:00
ChangeLog Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00
coq-8.3_p1.ebuild Sync with portage [Wed Oct 1 13:16:59 MSK 2014]. 2014-10-01 13:17:11 +04:00
coq-8.4_p1.ebuild Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00
coq-8.4_p2.ebuild Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00
coq-8.4_p3.ebuild Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00
Manifest Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00
metadata.xml Sync with portage [Fri Jan 24 17:19:55 MSK 2014]. 2014-01-24 17:19:57 +04:00