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 7f4ec2c81c
Sync with portage [Fri Feb 12 09:13:04 MSK 2021].
3 years ago
..
Manifest Sync with portage [Wed Feb 10 13:32:50 MSK 2021]. 3 years ago
coq-8.6.1-r1.ebuild Sync with portage [Tue Nov 5 08:46:51 MSK 2019]. 5 years ago
coq-8.9.1-r1.ebuild Sync with portage [Mon Nov 25 12:31:45 MSK 2019]. 5 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 [Mon Feb 8 14:38:44 MSK 2021]. 3 years ago