calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/sci-mathematics/coq
History
root 2cfbf51978 Sync with portage [Mon Aug 24 15:08:44 MSK 2015].
2015-08-24 15:08:46 +03:00
..
files Sync with portage [Sat Mar 21 00:08:53 MSK 2015]. 2015-03-21 00:08:54 +03:00
ChangeLog Sync with portage [Mon Aug 17 13:01:13 MSK 2015]. 2015-08-17 13:01:14 +03:00
coq-8.3_p1.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
coq-8.4_p1.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
coq-8.4_p2.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
coq-8.4_p3.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
coq-8.4_p5.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
coq-8.4_p6.ebuild Sync with portage [Tue Aug 11 00:17:52 MSK 2015]. 2015-08-11 00:17:55 +03:00
Manifest Sync with portage [Mon Aug 24 15:08:44 MSK 2015]. 2015-08-24 15:08:46 +03:00
metadata.xml Sync with portage [Mon Aug 24 15:08:44 MSK 2015]. 2015-08-24 15:08:46 +03:00