GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
archive/repo/gentoo-2.git
RELEASE-1_4
import-1.1.1
master
Another conversion of the historical gentoo-x86 ebuild repository
Ulrich Müller <ulm@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
coq
/
files
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.
Samuli Suominen
2010-10-18
1
-0
/
+13
*
remove old
Alexis Ballier
2010-03-10
2
-36
/
+0
*
Remove all old-style digests from the system and regen the Manifest files.
Robin H. Johnson
2008-01-31
4
-18
/
+0
*
Add support for building without ocamlopt, import smimou's patches from debia...
Alexis Ballier
2008-01-03
3
-1
/
+37
*
version bump
Alexis Ballier
2007-12-17
1
-0
/
+3
*
remove old versions
Alexis Ballier
2007-10-20
4
-65
/
+0
*
version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)
Alexis Ballier
2007-10-20
1
-0
/
+3
*
Version bump (see bug #192522).
Markus Dittrich
2007-09-29
1
-0
/
+3
*
Stable on SPARC.
Jason Wever
2006-05-03
2
-2
/
+12
*
Remove old version, incompatible with current ocaml and move current to stabl...
Matthieu Sozeau
2006-02-04
1
-1
/
+0
*
Added latest version, compatible with ocaml-3.09
Matthieu Sozeau
2006-02-04
2
-2
/
+3
*
Moved from app-sci/coq to sci-mathematics/coq.
Olivier Fisette
2004-12-28
7
-0
/
+74