Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Expand)AuthorAgeFilesLines
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ...Alexis Ballier2009-10-151-5/+5
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ...Alexis Ballier2009-10-152-3/+10
* remove oldAlexis Ballier2009-10-131-7/+4
* remove oldAlexis Ballier2009-10-133-137/+5
* dont prestrip files, bug #274321Alexis Ballier2009-09-191-4/+5
* dont prestrip files, bug #274321Alexis Ballier2009-09-192-1/+74
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-181-6/+6
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-183-5/+9
* version bumpAlexis Ballier2009-08-271-4/+6
* version bumpAlexis Ballier2009-08-272-1/+74
* remove oldAlexis Ballier2009-05-181-5/+12
* remove oldAlexis Ballier2009-05-184-172/+6
* whitespaceMichael Sterrett2009-02-191-11/+1
* whitespaceMichael Sterrett2009-02-191-2/+1
* version bump, bug #257540Alexis Ballier2009-02-181-1/+13
* version bump, bug #257540Alexis Ballier2009-02-182-1/+75
* ppc stable #254073Gysbert Wassenaar2009-01-171-12/+2
* ppc stable #254073Gysbert Wassenaar2009-01-172-3/+6
* x86 stable, bug #254073Markus Meier2009-01-121-2/+12
* x86 stable, bug #254073Markus Meier2009-01-122-3/+6
* Sparc stable, Bug #254073.Ferris McCormick2009-01-121-2/+2
* Sparc stable, Bug #254073.Ferris McCormick2009-01-122-3/+6
* amd64 stable, bug 254073Jeremy Olexa2009-01-121-2/+2
* amd64 stable, bug 254073Jeremy Olexa2009-01-122-5/+8
* whitespaceMichael Sterrett2008-12-311-11/+1
* whitespaceMichael Sterrett2008-12-311-2/+1
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id...Alexis Ballier2008-11-071-4/+6
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id...Alexis Ballier2008-11-072-1/+76
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve...Alexis Ballier2008-10-171-5/+6
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve...Alexis Ballier2008-10-172-1/+84
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-6/+6
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-062-3/+12
* remove oldAlexis Ballier2008-04-081-5/+11
* remove oldAlexis Ballier2008-04-082-89/+4
* sparc stable wrt #215746Raúl Porcel2008-04-081-12/+2
* sparc stable wrt #215746Raúl Porcel2008-04-082-3/+6
* amd64/x86 stable, bug #215746Markus Meier2008-04-061-2/+12
* amd64/x86 stable, bug #215746Markus Meier2008-04-062-3/+6
* stable ppc, bug 215746Brent Baude2008-04-031-12/+2
* stable ppc, bug 215746Brent Baude2008-04-032-3/+6
* remove unused versionAlexis Ballier2008-04-011-9/+5
* remove unused versionAlexis Ballier2008-04-013-132/+5
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-1/+11
* Fixed encoding in ChangeLogTorsten Veller2008-03-061-2/+2
* 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 kill...Alexis Ballier2008-01-161-11/+11
* restrict also installsources as it has the same problem with ocaml... it kill...Alexis Ballier2008-01-162-3/+7
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-161-8/+18
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-162-4/+6
* whitespaceMichael Sterrett2008-01-031-14/+4