calculate
/
gentoo-full-overlay
5
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '6453b825de'
${ noResults }
gentoo-full-overlay/sci-mathematics/coq/files
History
root 6521e979dc
Sync with portage [Wed May 4 09:07:02 MSK 2016]. 		9 years ago
..
coq-8.4_p5-do-not-install-revision.patch Sync with portage [Sun Feb 15 21:30:07 MSK 2015]. 10 years ago
coq-8.4_p5-hevea.patch Sync with portage [Sun Feb 15 21:30:07 MSK 2015]. 10 years ago
coq-8.4_p5-no-clean-before-test.patch Sync with portage [Sun Feb 15 21:30:07 MSK 2015]. 10 years ago
coq-8.5-do-not-install-revision.patch Sync with portage [Sun Jan 24 15:14:47 MSK 2016]. 9 years ago
coqide.desktop Sync with portage [Sat Mar 21 00:08:53 MSK 2015]. 10 years ago
oc43.patch Sync with portage [Wed May 4 09:07:02 MSK 2016]. 9 years ago