calculate/gentoo-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-overlay/sci-mathematics/coq
History
root 54783af77a Sync with portage [Sat Sep 11 18:04:19 MSK 2021].
2021-09-11 18:04:20 +03:00
..
coq-8.11.2-r1.ebuild Sync with portage [Mon Jul 26 22:35:19 MSK 2021]. 2021-07-26 22:35:19 +03:00
coq-8.11.2.ebuild Sync with portage [Wed Feb 10 13:32:50 MSK 2021]. 2021-02-10 13:32:50 +03:00
coq-8.12.0-r1.ebuild Sync with portage [Wed Apr 7 10:03:41 MSK 2021]. 2021-04-07 10:03:42 +03:00
coq-8.12.0-r2.ebuild Sync with portage [Mon Jul 26 22:35:19 MSK 2021]. 2021-07-26 22:35:19 +03:00
coq-8.13.0-r1.ebuild Sync with portage [Mon Jul 26 22:35:19 MSK 2021]. 2021-07-26 22:35:19 +03:00
coq-8.13.0.ebuild Sync with portage [Wed Apr 7 10:03:41 MSK 2021]. 2021-04-07 10:03:42 +03:00
Manifest Sync with portage [Sat Mar 13 19:02:01 MSK 2021]. 2021-03-13 19:02:01 +03:00
metadata.xml Sync with portage [Sat Sep 11 18:04:19 MSK 2021]. 2021-09-11 18:04:20 +03:00