summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* x86 stable wrt bug #402199Paweł Hajdan2012-02-161-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux i686, signed Manifest commit with key 30427902)
* x86 stable wrt bug #402199Paweł Hajdan2012-02-162-3/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux i686)
* Fix building with ecls-12.2.1Andrey Grozin2012-02-131-2/+3
| | | | (Portage version: 2.2.0_alpha86/cvs/Linux i686, unsigned Manifest commit)
* Fix building with ecls-12.2.1Andrey Grozin2012-02-133-4/+19
| | | | (Portage version: 2.2.0_alpha86/cvs/Linux i686)
* Stable for amd64, wrt bug #402953Agostino Sarubbo2012-02-101-6/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #402953Agostino Sarubbo2012-02-102-3/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* added missing dep for doc USE-flag, x86 stable per bug 402953Thomas Kahle2012-02-101-7/+7
| | | | (Portage version: 2.1.10.45/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* added missing dep for doc USE-flag, x86 stable per bug 402953Thomas Kahle2012-02-102-4/+9
| | | | (Portage version: 2.1.10.45/cvs/Linux x86_64)
* Stable for HPPA (bug #402199).Jeroen Roovers2012-02-081-10/+6
| | | | (Portage version: 2.2.0_alpha85/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Stable for HPPA (bug #402199).Jeroen Roovers2012-02-082-3/+6
| | | | (Portage version: 2.2.0_alpha85/cvs/Linux x86_64)
* Stable for amd64, wrt bug #402199Agostino Sarubbo2012-02-071-7/+11
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #402199Agostino Sarubbo2012-02-072-3/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Added readline dependencySebastien Fabbro2012-02-061-6/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added readline dependencySebastien Fabbro2012-02-063-3/+9
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* alpha/sparc stable wrt #391517Raúl Porcel2012-02-051-17/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux ia64, signed Manifest commit with key F6AD3240)
* alpha/sparc stable wrt #391517Raúl Porcel2012-02-052-5/+8
| | | | (Portage version: 2.1.10.44/cvs/Linux ia64)
* Remove openmp (too experimental, do it with EXTRA_ECONF if interested), ↵Sebastien Fabbro2012-01-311-6/+7
| | | | | | fixed a parallel build issue (bug #401189), remove obsolete configure option (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Remove openmp (too experimental, do it with EXTRA_ECONF if interested), ↵Sebastien Fabbro2012-01-314-13/+22
| | | | | | fixed a parallel build issue (bug #401189), remove obsolete configure option (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-301-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-303-3/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-301-5/+5
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-302-1/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-301-5/+5
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-302-1/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Correct ChangeLogJustin Lecher2012-01-261-4/+4
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* Correct ChangeLogJustin Lecher2012-01-261-2/+2
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; ↵Justin Lecher2012-01-261-10/+8
| | | | | | resorted ebuild (Portage version: 2.2.0_alpha84/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; ↵Justin Lecher2012-01-264-116/+32
| | | | | | resorted ebuild (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-231-7/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-234-2/+108
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-211-5/+5
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-212-3/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-01-211-4/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-01-212-2/+50
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-201-16/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-202-3/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Fix manifestKacper Kowalik2012-01-191-7/+15
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
* Fix manifestKacper Kowalik2012-01-191-1/+4
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* forgotten removedSebastien Fabbro2012-01-192-54/+0
|
* Version bump. Fixed configure option for imagemagick/graphicsmagickSebastien Fabbro2012-01-191-28/+10
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump. Fixed configure option for imagemagick/graphicsmagickSebastien Fabbro2012-01-1917-650/+199
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Add prefix keywordsKacper Kowalik2012-01-171-6/+16
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
* Add prefix keywordsKacper Kowalik2012-01-172-3/+6
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-091-5/+5
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-092-24/+22
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-081-5/+5
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-082-5/+9
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-081-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-082-4/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)