Sign in
android
/
platform
/
external
/
gentoo
/
overlays
/
gentoo
/
a1effdbe93843e44eb414b77a86d63612a1a8bbb
/
.
/
sci-mathematics
/
coq
/
files
tree: 5f946e1d565c835931c078c29f96c2299c932bdd [
path history
]
[
tgz
]
coq-8.4_p5-do-not-install-revision.patch
coq-8.4_p5-hevea.patch
coq-8.4_p5-no-clean-before-test.patch
coq-8.5-do-not-install-revision.patch
coqide.desktop