Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Collapse)AuthorAgeFilesLines
* remove oldAlexis Ballier2008-04-081-5/+11
| | | | | (Portage version: 2.1.5_rc2) (Signed Manifest commit)
* remove oldAlexis Ballier2008-04-082-89/+4
| | | | (Portage version: 2.1.5_rc2)
* sparc stable wrt #215746Raúl Porcel2008-04-081-12/+2
| | | | | (Portage version: 2.1.4.4) (Unsigned Manifest commit)
* sparc stable wrt #215746Raúl Porcel2008-04-082-3/+6
| | | | (Portage version: 2.1.4.4)
* amd64/x86 stable, bug #215746Markus Meier2008-04-061-2/+12
| | | | | (Portage version: 2.1.5_rc2) (Signed Manifest commit)
* amd64/x86 stable, bug #215746Markus Meier2008-04-062-3/+6
| | | | (Portage version: 2.1.5_rc2)
* stable ppc, bug 215746Brent Baude2008-04-031-12/+2
| | | | | (Portage version: 2.1.4.4) (Unsigned Manifest commit)
* stable ppc, bug 215746Brent Baude2008-04-032-3/+6
| | | | (Portage version: 2.1.4.4)
* remove unused versionAlexis Ballier2008-04-011-9/+5
| | | | | (Portage version: 2.1.4.4) (Signed Manifest commit)
* remove unused versionAlexis Ballier2008-04-013-132/+5
| | | | (Portage version: 2.1.4.4)
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-1/+11
| | | | | (Portage version: 2.1.4.4) (Signed Manifest commit)
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-2/+2
| | | | (Portage version: 2.1.4.4)
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-315-67/+0
|
* restrict also installsources as it has the same problem with ocaml... it ↵Alexis Ballier2008-01-161-11/+11
| | | | | | | kills ocamlc -custom executables (Portage version: 2.1.4) (Signed Manifest commit)
* restrict also installsources as it has the same problem with ocaml... it ↵Alexis Ballier2008-01-162-3/+7
| | | | | | kills ocamlc -custom executables (Portage version: 2.1.4)
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-161-8/+18
| | | | | (Portage version: 2.1.4) (Signed Manifest commit)
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-162-4/+6
| | | | (Portage version: 2.1.4)
* whitespaceMichael Sterrett2008-01-031-14/+4
| | | | | (Portage version: 2.1.3.19) (Unsigned Manifest commit)
* whitespaceMichael Sterrett2008-01-031-2/+1
| | | | (Portage version: 2.1.3.19)
* Add support for building without ocamlopt, import smimou's patches from ↵Alexis Ballier2008-01-031-16/+24
| | | | | | | debian to allow it. Fix desktop entry categories. (Portage version: 2.1.4_rc14) (Signed Manifest commit)
* Add support for building without ocamlopt, import smimou's patches from ↵Alexis Ballier2008-01-035-7/+77
| | | | | | debian to allow it. Fix desktop entry categories. (Portage version: 2.1.4_rc14)
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 ↵Alexis Ballier2007-12-191-15/+15
| | | | | | | installed but not camlp5, thanks jakub for the help there (Portage version: 2.1.4_rc10) (Signed Manifest commit)
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 ↵Alexis Ballier2007-12-193-5/+10
| | | | | | installed but not camlp5, thanks jakub for the help there (Portage version: 2.1.4_rc10)
* no need to dodoc the licenseAlexis Ballier2007-12-171-19/+19
| | | | | (Portage version: 2.1.4_rc10) (Signed Manifest commit)
* no need to dodoc the licenseAlexis Ballier2007-12-174-7/+11
| | | | (Portage version: 2.1.4_rc10)
* version bumpAlexis Ballier2007-12-171-7/+15
| | | | | (Portage version: 2.1.4_rc10) (Signed Manifest commit)
* version bumpAlexis Ballier2007-12-173-1/+75
| | | | (Portage version: 2.1.4_rc10)
* quote directory variablesAlexis Ballier2007-10-201-15/+15
| | | | | (Portage version: 2.1.3.15) (Signed Manifest commit)
* quote directory variablesAlexis Ballier2007-10-203-10/+14
| | | | (Portage version: 2.1.3.15)
* remove old versionsAlexis Ballier2007-10-201-28/+7
| | | | | (Portage version: 2.1.3.15) (Signed Manifest commit)
* remove old versionsAlexis Ballier2007-10-206-154/+6
| | | | (Portage version: 2.1.3.15)
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-201-7/+15
| | | | | (Portage version: 2.1.3.15) (Signed Manifest commit)
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-203-1/+75
| | | | (Portage version: 2.1.3.15)
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-111-8/+18
| | | | | (Portage version: 2.1.3.12) (Signed Manifest commit)
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-112-3/+6
| | | | (Portage version: 2.1.3.12)
* Version bump (see bug #192522).Markus Dittrich2007-09-291-14/+12
| | | | | (Portage version: 2.1.3.9) (Unsigned Manifest commit)
* Version bump (see bug #192522).Markus Dittrich2007-09-293-2/+76
| | | | (Portage version: 2.1.3.9)
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-301-12/+12
| | | | | (Portage version: 2.1.3.7) (Signed Manifest commit)
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-302-4/+4
| | | | (Portage version: 2.1.3.7)
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-12/+12
| | | | | (Portage version: 2.1.3_rc9) (Signed Manifest commit)
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-312-2/+5
| | | | (Portage version: 2.1.3_rc9)
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-021-16/+16
| | | | | (Portage version: 2.1.3_rc6) (Signed Manifest commit)
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-023-7/+11
| | | | (Portage version: 2.1.3_rc6)
* Redigest for Manifest2Markus Ullmann2007-02-221-8/+18
| | | | | (Portage version: 2.1.2-r10) (Signed Manifest commit)
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
| | | | (Portage version: 2.1.2-r10)
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-241-18/+8
| | | | | (Portage version: 2.1.2_pre1-r1) (Unsigned Manifest commit)
* sci-mathematics/coq stable on ppc.Michael Hanselmann2006-09-242-3/+6
| | | | (Portage version: 2.1.2_pre1-r1)
* Stable on sparcGustavo Zacarias2006-09-151-8/+18
| | | | | (Portage version: 2.1.1) (Signed Manifest commit)
* Stable on sparcGustavo Zacarias2006-09-152-3/+6
| | | | (Portage version: 2.1.1)
* Mark stable on x86, ppc and amd64Matthieu Sozeau2006-09-141-19/+9
| | | | | (Portage version: 2.1-r1) (Unsigned Manifest commit)