calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/sci-mathematics/coq
History
root edaf6a9482 Sync with portage [Tue Apr 16 11:08:40 MSK 2013].
2013-04-16 11:08:44 +04:00
..
files Sync with portage [Thu Jan 17 00:38:06 MSK 2013]. 2013-01-17 00:38:12 +04:00
ChangeLog Sync with portage [Tue Apr 16 11:08:40 MSK 2013]. 2013-04-16 11:08:44 +04:00
coq-8.3_p1.ebuild Sync with portage [Mon Feb 6 16:39:48 MSK 2012]. 2012-02-06 16:39:49 +04:00
coq-8.3_p2.ebuild Sync with portage [Sun Mar 25 16:58:54 MSK 2012]. 2012-03-25 16:58:54 +04:00
coq-8.3_p3.ebuild Sync with portage [Sun Mar 25 16:58:54 MSK 2012]. 2012-03-25 16:58:54 +04:00
coq-8.3_p4.ebuild Sync with portage [Sat Aug 25 22:42:11 MSK 2012]. 2012-08-25 22:42:16 +04:00
coq-8.4.ebuild Sync with portage [Mon Oct 8 10:47:47 MSK 2012]. 2012-10-08 10:47:49 +04:00
coq-8.4_p1.ebuild Sync with portage [Tue Apr 16 11:08:40 MSK 2013]. 2013-04-16 11:08:44 +04:00
Manifest Sync with portage [Tue Apr 16 11:08:40 MSK 2013]. 2013-04-16 11:08:44 +04:00
metadata.xml Sync with portage [Mon Oct 8 10:47:47 MSK 2012]. 2012-10-08 10:47:49 +04:00