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
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug ↵Alexis Ballier2010-04-091-5/+5
| | | | | | | #310305 (Portage version: 2.2_rc67/cvs/Linux x86_64) (Signed Manifest commit)
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug ↵Alexis Ballier2010-04-092-2/+7
| | | | | | #310305 (Portage version: 2.2_rc67/cvs/Linux x86_64)
* remove oldAlexis Ballier2010-03-101-8/+4
| | | | | (Portage version: 2.2_rc67/cvs/Linux x86_64) (Signed Manifest commit)
* remove oldAlexis Ballier2010-03-104-106/+5
| | | | (Portage version: 2.2_rc67/cvs/Linux x86_64)
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-201-2/+12
| | | | | (Portage version: 2.2_rc61/cvs/Linux x86_64) (Signed Manifest commit)
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-202-5/+11
| | | | (Portage version: 2.2_rc61/cvs/Linux x86_64)
* sparc stable wrt #291786Raúl Porcel2009-12-271-12/+2
| | | | | (Portage version: 2.1.6.13/cvs/Linux ia64) (Unsigned Manifest commit)
* sparc stable wrt #291786Raúl Porcel2009-12-272-3/+6
| | | | (Portage version: 2.1.6.13/cvs/Linux ia64)
* amd64/x86 stable, bug #291786Markus Meier2009-11-091-2/+12
| | | | | (Portage version: 2.2_rc49/cvs/Linux x86_64) (Signed Manifest commit)
* amd64/x86 stable, bug #291786Markus Meier2009-11-092-3/+6
| | | | (Portage version: 2.2_rc49/cvs/Linux x86_64)
* ppc stable #291786Gysbert Wassenaar2009-11-081-12/+2
| | | | | (Portage version: 2.1.6.13/cvs/Linux ppc) (Unsigned Manifest commit)
* ppc stable #291786Gysbert Wassenaar2009-11-082-3/+6
| | | | (Portage version: 2.1.6.13/cvs/Linux ppc)
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ↵Alexis Ballier2009-10-151-5/+5
| | | | | | | bug #288990 (Portage version: 2.2_rc46/cvs/Linux x86_64) (Signed Manifest commit)
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ↵Alexis Ballier2009-10-152-3/+10
| | | | | | bug #288990 (Portage version: 2.2_rc46/cvs/Linux x86_64)
* remove oldAlexis Ballier2009-10-131-7/+4
| | | | | (Portage version: 2.2_rc46/cvs/Linux x86_64) (Signed Manifest commit)
* remove oldAlexis Ballier2009-10-133-137/+5
| | | | (Portage version: 2.2_rc46/cvs/Linux x86_64)
* dont prestrip files, bug #274321Alexis Ballier2009-09-191-4/+5
| | | | | (Portage version: 2.2_rc40/cvs/Linux x86_64) (Signed Manifest commit)
* dont prestrip files, bug #274321Alexis Ballier2009-09-192-1/+74
| | | | (Portage version: 2.2_rc40/cvs/Linux x86_64)
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-181-6/+6
| | | | | (Portage version: 2.2_rc40/cvs/Linux x86_64) (Signed Manifest commit)
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-183-5/+9
| | | | (Portage version: 2.2_rc40/cvs/Linux x86_64)
* version bumpAlexis Ballier2009-08-271-4/+6
| | | | | (Portage version: 2.2_rc40/cvs/Linux x86_64) (Signed Manifest commit)
* version bumpAlexis Ballier2009-08-272-1/+74
| | | | (Portage version: 2.2_rc40/cvs/Linux x86_64)
* remove oldAlexis Ballier2009-05-181-5/+12
| | | | | (Portage version: 2.2_rc33/cvs/Linux x86_64) (Signed Manifest commit)
* remove oldAlexis Ballier2009-05-184-172/+6
| | | | (Portage version: 2.2_rc33/cvs/Linux x86_64)
* whitespaceMichael Sterrett2009-02-191-11/+1
| | | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.28.1 i686) (Unsigned Manifest commit)
* whitespaceMichael Sterrett2009-02-191-2/+1
| | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.28.1 i686)
* version bump, bug #257540Alexis Ballier2009-02-181-1/+13
| | | | | (Portage version: 2.2_rc23/cvs/Linux x86_64) (Signed Manifest commit)
* version bump, bug #257540Alexis Ballier2009-02-182-1/+75
| | | | (Portage version: 2.2_rc23/cvs/Linux x86_64)
* ppc stable #254073Gysbert Wassenaar2009-01-171-12/+2
| | | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc) (Unsigned Manifest commit)
* ppc stable #254073Gysbert Wassenaar2009-01-172-3/+6
| | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc)
* x86 stable, bug #254073Markus Meier2009-01-121-2/+12
| | | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.28 x86_64) (Signed Manifest commit)
* x86 stable, bug #254073Markus Meier2009-01-122-3/+6
| | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.28 x86_64)
* Sparc stable, Bug #254073.Ferris McCormick2009-01-121-2/+2
| | | | | (Portage version: 2.2_rc20/cvs/Linux 2.6.22-gentoo-r9-ail-simulation-sensors x86_64) (Unsigned Manifest commit)
* Sparc stable, Bug #254073.Ferris McCormick2009-01-122-3/+6
| | | | (Portage version: 2.2_rc20/cvs/Linux 2.6.22-gentoo-r9-ail-simulation-sensors x86_64)
* amd64 stable, bug 254073Jeremy Olexa2009-01-121-2/+2
| | | | | (Portage version: 2.2_rc20/cvs/Linux 2.6.27.10 x86_64) (Unsigned Manifest commit)
* amd64 stable, bug 254073Jeremy Olexa2009-01-122-5/+8
| | | | (Portage version: 2.2_rc20/cvs/Linux 2.6.27.10 x86_64)
* whitespaceMichael Sterrett2008-12-311-11/+1
| | | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.27.8 i686) (Unsigned Manifest commit)
* whitespaceMichael Sterrett2008-12-311-2/+1
| | | | (Portage version: 2.1.6.4/cvs/Linux 2.6.27.8 i686)
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the ↵Alexis Ballier2008-11-071-4/+6
| | | | | | | ide useflag to gtk which makes more sense. Some cleanup in the ebuild. (Portage version: 2.2_rc12/cvs/Linux 2.6.27.4 x86_64) (Signed Manifest commit)
* Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the ↵Alexis Ballier2008-11-072-1/+76
| | | | | | ide useflag to gtk which makes more sense. Some cleanup in the ebuild. (Portage version: 2.2_rc12/cvs/Linux 2.6.27.4 x86_64)
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable ↵Alexis Ballier2008-10-171-5/+6
| | | | | | | everywhere needed so that it can build with ocaml 3.11 (Portage version: 2.2_rc12/cvs/Linux 2.6.26.6 x86_64) (Signed Manifest commit)
* EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable ↵Alexis Ballier2008-10-172-1/+84
| | | | | | everywhere needed so that it can build with ocaml 3.11 (Portage version: 2.2_rc12/cvs/Linux 2.6.26.6 x86_64)
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-061-6/+6
| | | | | (Portage version: 2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686) (Signed Manifest commit)
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-062-3/+12
| | | | (Portage version: 2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686)
* 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)