/[gentoo-x86]/sci-mathematics/coq
Gentoo

Index of /sci-mathematics/coq

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/coq

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/coq

More Information: http://anoncvs.gentoo.org/

Files shown:25 (Hide 18 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.82  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
Manifest  1.89  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-7.4.ebuild (dead)  1.4  8 years  mattam  Remove old version, incompatible with current ocaml and move current to stable (…
coq-8.0-r1.ebuild (dead)  1.7  6 years  aballier  remove old versions (Portage version: 2.1.3.15)
coq-8.0.ebuild (dead)  1.3  8 years  mattam  Added latest version, compatible with ocaml-3.09 (Portage version: 2.0.51.22-r1)…
coq-8.0_p3.ebuild (dead)  1.9  6 years  aballier  remove old (Portage version: 2.1.5_rc2)
coq-8.1_p1.ebuild (dead)  1.5  6 years  aballier  remove unused version (Portage version: 2.1.4.4)
coq-8.1_p2.ebuild (dead)  1.4  6 years  aballier  remove unused version (Portage version: 2.1.4.4)
coq-8.1_p3-r1.ebuild (dead)  1.3  4 years  aballier  remove old (Portage version: 2.2_rc33/cvs/Linux x86_64)
coq-8.1_p3.ebuild (dead)  1.10  4 years  aballier  remove old (Portage version: 2.2_rc33/cvs/Linux x86_64)
coq-8.1_p4.ebuild (dead)  1.6  4 years  aballier  remove old (Portage version: 2.2_rc67/cvs/Linux x86_64)
coq-8.2.ebuild (dead)  1.4  4 years  aballier  remove old (Portage version: 2.2_rc46/cvs/Linux x86_64)
coq-8.2_p1-r1.ebuild (dead)  1.11  2 years  aballier  remove old (Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
coq-8.2_p1.ebuild (dead)  1.3  4 years  aballier  remove old (Portage version: 2.2_rc46/cvs/Linux x86_64)
coq-8.2_p2.ebuild (dead)  1.7  2 years  aballier  remove old (Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
coq-8.3.ebuild (dead)  1.4  2 years  aballier  remove old (Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
coq-8.3_p1.ebuild  1.7  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.3_p2.ebuild (dead)  1.4  8 months  aballier  remove old (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit wit…
coq-8.3_p3.ebuild (dead)  1.3  8 months  aballier  remove old (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit wit…
coq-8.3_p4.ebuild (dead)  1.3  8 months  aballier  remove old (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit wit…
coq-8.4.ebuild (dead)  1.3  8 months  aballier  remove old (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit wit…
coq-8.4_p1.ebuild  1.6  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p2.ebuild  1.3  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p3.ebuild  1.1  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
metadata.xml  1.10  2 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20