You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/coq
Calculate Linux 5529f83c7b
Sync with portage [Sat Mar 13 19:02:01 MSK 2021].
3 years ago
..
Manifest Sync with portage [Sat Mar 13 19:02:01 MSK 2021]. 3 years ago
coq-8.11.2.ebuild Sync with portage [Wed Feb 10 13:32:50 MSK 2021]. 3 years ago
coq-8.12.0-r1.ebuild Sync with portage [Fri Feb 12 09:13:04 MSK 2021]. 3 years ago
coq-8.13.0.ebuild Sync with portage [Mon Feb 8 14:38:44 MSK 2021]. 3 years ago
metadata.xml Sync with portage [Sat Mar 13 19:02:01 MSK 2021]. 3 years ago