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
* BumpSebastien Fabbro2010-09-274-10/+106
| | | | Package-Manager: portage-2.2_rc86/cvs/Linux x86_64
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug ↵Alexis Ballier2010-04-093-7/+12
| | | | | | #310305 Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* remove oldAlexis Ballier2010-03-105-114/+9
| | | | Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-203-7/+23
| | | | Package-Manager: portage-2.2_rc61/cvs/Linux x86_64
* sparc stable wrt #291786Raúl Porcel2009-12-273-15/+8
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ia64
* amd64/x86 stable, bug #291786Markus Meier2009-11-093-5/+18
| | | | Package-Manager: portage-2.2_rc49/cvs/Linux x86_64
* ppc stable #291786Gysbert Wassenaar2009-11-083-15/+8
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ppc
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ↵Alexis Ballier2009-10-153-8/+15
| | | | | | bug #288990 Package-Manager: portage-2.2_rc46/cvs/Linux x86_64
* remove oldAlexis Ballier2009-10-134-144/+9
| | | | Package-Manager: portage-2.2_rc46/cvs/Linux x86_64
* dont prestrip files, bug #274321Alexis Ballier2009-09-193-5/+79
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-184-11/+15
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* version bumpAlexis Ballier2009-08-273-5/+80
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* remove oldAlexis Ballier2009-05-185-177/+18
| | | | Package-Manager: portage-2.2_rc33/cvs/Linux x86_64
* whitespaceMichael Sterrett2009-02-192-13/+2
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.28.1 i686
* version bump, bug #257540Alexis Ballier2009-02-183-2/+88
| | | | Package-Manager: portage-2.2_rc23/cvs/Linux x86_64
* ppc stable #254073Gysbert Wassenaar2009-01-173-15/+8
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc
* x86 stable, bug #254073Markus Meier2009-01-123-5/+18
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.28 x86_64
* Sparc stable, Bug #254073.Ferris McCormick2009-01-123-5/+8
| | | | Package-Manager: portage-2.2_rc20/cvs/Linux 2.6.22-gentoo-r9-ail-simulation-sensors x86_64
* amd64 stable, bug 254073Jeremy Olexa2009-01-123-7/+10
| | | | Package-Manager: portage-2.2_rc20/cvs/Linux 2.6.27.10 x86_64
* whitespaceMichael Sterrett2008-12-312-13/+2
| | | | Package-Manager: portage-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-073-5/+82
| | | | | | ide useflag to gtk which makes more sense. Some cleanup in the ebuild. Package-Manager: portage-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-173-6/+90
| | | | | | everywhere needed so that it can build with ocaml 3.11 Package-Manager: portage-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
| | | | Package-Manager: portage-2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686
* Add USE flag description to metadata wrt GLEP 56.Ulrich Müller2008-08-062-3/+12
| | | | Package-Manager: portage-2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686
* remove oldAlexis Ballier2008-04-083-94/+15
| | | | Package-Manager: portage-2.1.5_rc2
* sparc stable wrt #215746Raúl Porcel2008-04-083-15/+8
| | | | Package-Manager: portage-2.1.4.4
* amd64/x86 stable, bug #215746Markus Meier2008-04-063-5/+18
| | | | Package-Manager: portage-2.1.5_rc2
* stable ppc, bug 215746Brent Baude2008-04-033-15/+8
| | | | Package-Manager: portage-2.1.4.4
* remove unused versionAlexis Ballier2008-04-014-141/+10
| | | | Package-Manager: portage-2.1.4.4
* Fixed encoding in ChangeLogTorsten Veller2008-03-062-3/+13
| | | | Package-Manager: portage-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-163-14/+18
| | | | | | kills ocamlc -custom executables Package-Manager: portage-2.1.4
* disable again parallel make... not safe in some rare cases, bug #197389Alexis Ballier2008-01-163-12/+24
| | | | Package-Manager: portage-2.1.4
* whitespaceMichael Sterrett2008-01-032-16/+5
| | | | Package-Manager: portage-2.1.3.19
* Add support for building without ocamlopt, import smimou's patches from ↵Alexis Ballier2008-01-036-23/+101
| | | | | | debian to allow it. Fix desktop entry categories. Package-Manager: portage-2.1.4_rc14
* fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 ↵Alexis Ballier2007-12-194-20/+25
| | | | | | installed but not camlp5, thanks jakub for the help there Package-Manager: portage-2.1.4_rc10
* no need to dodoc the licenseAlexis Ballier2007-12-175-26/+30
| | | | Package-Manager: portage-2.1.4_rc10
* version bumpAlexis Ballier2007-12-174-8/+90
| | | | Package-Manager: portage-2.1.4_rc10
* quote directory variablesAlexis Ballier2007-10-204-25/+29
| | | | Package-Manager: portage-2.1.3.15
* remove old versionsAlexis Ballier2007-10-207-182/+13
| | | | Package-Manager: portage-2.1.3.15
* version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)Alexis Ballier2007-10-204-8/+90
| | | | Package-Manager: portage-2.1.3.15
* fix configure call when ide and norealanalysis useflags are set, bug #195483Alexis Ballier2007-10-113-11/+24
| | | | Package-Manager: portage-2.1.3.12
* Version bump (see bug #192522).Markus Dittrich2007-09-294-16/+88
| | | | Package-Manager: portage-2.1.3.9
* Removing mattam from metadata due to his retirement (see #30021 for reference).Christian Heim2007-08-303-16/+16
| | | | Package-Manager: portage-2.1.3.7
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-12/+12
| | | | Package-Manager: portage-2.1.3_rc9
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-312-2/+5
| | | | Package-Manager: portage-2.1.3_rc9
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-021-16/+16
| | | | Package-Manager: portage-2.1.3_rc6
* (QA) RESTRICT clean up.Piotr Jaroszyński2007-07-023-7/+11
| | | | Package-Manager: portage-2.1.3_rc6
* Redigest for Manifest2Markus Ullmann2007-02-221-8/+18
| | | | Package-Manager: portage-2.1.2-r10
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
| | | | Package-Manager: portage-2.1.2-r10