gentoo-full-overlay/sci-mathematics/coq
2020-10-14 16:43:41 +03:00
..
coq-8.6.1-r1.ebuild Sync with portage [Tue Nov 5 08:48:18 MSK 2019]. 2019-11-05 08:48:18 +03:00
coq-8.9.1-r1.ebuild Sync with portage [Mon Nov 25 12:33:10 MSK 2019]. 2019-11-25 12:33:10 +03:00
coq-8.9.1-r2.ebuild Sync with portage [Wed Jan 8 13:43:52 MSK 2020]. 2020-01-08 13:43:52 +03:00
coq-8.12.0.ebuild Sync with portage [Wed Oct 14 16:43:41 MSK 2020]. 2020-10-14 16:43:41 +03:00
Manifest Sync with portage [Wed Oct 14 16:43:41 MSK 2020]. 2020-10-14 16:43:41 +03:00
metadata.xml Sync with portage [Sat Dec 14 12:25:16 MSK 2019]. 2019-12-14 12:25:16 +03:00