/[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:8 (Show 18 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.86  2 months  jlec  Fix desktop file (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest com…
Manifest  1.93  2 months  jlec  Fix desktop file (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest com…
coq-8.3_p1.ebuild  1.7  16 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p1.ebuild  1.6  16 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p2.ebuild  1.3  16 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p3.ebuild  1.1  16 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…
coq-8.4_p5.ebuild  1.3  3 months  gienah  Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch fr…
metadata.xml  1.10  16 months  jlec  sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 (Portage…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20