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
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
fix configure call when ide and norealanalysis useflags are set, bug #195483
Alexis Ballier
2007-10-11
2
-3
/
+6
*
Version bump (see bug #192522).
Markus Dittrich
2007-09-29
1
-14
/
+12
*
Version bump (see bug #192522).
Markus Dittrich
2007-09-29
3
-2
/
+76
*
Removing mattam from metadata due to his retirement (see #30021 for reference).
Christian Heim
2007-08-30
1
-12
/
+12
*
Removing mattam from metadata due to his retirement (see #30021 for reference).
Christian Heim
2007-08-30
2
-4
/
+4
*
Reassigning to sci from math-proof (see #138059 for reference).
Christian Heim
2007-07-31
1
-12
/
+12
*
Reassigning to sci from math-proof (see #138059 for reference).
Christian Heim
2007-07-31
2
-2
/
+5
*
(QA) RESTRICT clean up.
Piotr Jaroszyński
2007-07-02
1
-16
/
+16
*
(QA) RESTRICT clean up.
Piotr Jaroszyński
2007-07-02
3
-7
/
+11
*
Redigest for Manifest2
Markus Ullmann
2007-02-22
1
-8
/
+18
*
Redigest for Manifest2
Markus Ullmann
2007-02-22
1
-2
/
+5
*
sci-mathematics/coq stable on ppc.
Michael Hanselmann
2006-09-24
1
-18
/
+8
*
sci-mathematics/coq stable on ppc.
Michael Hanselmann
2006-09-24
2
-3
/
+6
*
Stable on sparc
Gustavo Zacarias
2006-09-15
1
-8
/
+18
*
Stable on sparc
Gustavo Zacarias
2006-09-15
2
-3
/
+6
*
Mark stable on x86, ppc and amd64
Matthieu Sozeau
2006-09-14
1
-19
/
+9
*
Mark stable on x86, ppc and amd64
Matthieu Sozeau
2006-09-14
2
-3
/
+9
*
Added math-proof herd as maintainer of this package instead of sci.
Alexandre Buisse
2006-07-01
1
-19
/
+29
*
Added math-proof herd as maintainer of this package instead of sci.
Alexandre Buisse
2006-07-01
2
-2
/
+6
*
Stable on SPARC.
Jason Wever
2006-05-03
1
-6
/
+39
*
Stable on SPARC.
Jason Wever
2006-05-03
4
-5
/
+18
*
Fix bad path of patch.
Matthieu Sozeau
2006-02-06
1
-2
/
+2
*
Fix bad path of patch.
Matthieu Sozeau
2006-02-06
3
-9
/
+12
*
Remove old version, incompatible with current ocaml and move current to stabl...
Matthieu Sozeau
2006-02-04
1
-4
/
+2
*
Remove old version, incompatible with current ocaml and move current to stabl...
Matthieu Sozeau
2006-02-04
4
-44
/
+7
*
Added latest version, compatible with ocaml-3.09
Matthieu Sozeau
2006-02-04
1
-4
/
+4
*
Added latest version, compatible with ocaml-3.09
Matthieu Sozeau
2006-02-04
7
-33
/
+37
*
added ~amd64 to KEYWORDS, fixes #88950
Jan Brinkmann
2005-04-13
1
-4
/
+14
*
added ~amd64 to KEYWORDS, fixes #88950
Jan Brinkmann
2005-04-13
5
-23
/
+16
*
Fixed ChangeLog header. (Manifest recommit)
Sven Wegener
2004-12-28
1
-4
/
+14
*
Fixed ChangeLog header.
Sven Wegener
2004-12-28
1
-2
/
+2
*
Moved from app-sci/coq to sci-mathematics/coq.
Olivier Fisette
2004-12-28
13
-0
/
+353
[prev]