summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix invalid metadata.Diego Elio Pettenò2013-01-201-5/+9
| | | | (Portage version: 2.2.0_alpha154/cvs/Linux x86_64, signed Manifest commit with key 1CD13C8AD4301342)
* Fix invalid metadata.Diego Elio Pettenò2013-01-202-3/+6
| | | | (Portage version: 2.2.0_alpha154/cvs/Linux x86_64, signed Manifest commit with key 1CD13C8AD4301342)
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-151-4/+6
| | | | (Portage version: 2.1.11.41/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-153-2/+75
| | | | (Portage version: 2.1.11.41/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* fix build with camlp4, bug #450954Alexis Ballier2013-01-151-5/+6
| | | | (Portage version: 2.2.0_alpha153/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* fix build with camlp4, bug #450954Alexis Ballier2013-01-153-2/+27
| | | | (Portage version: 2.2.0_alpha153/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-151-7/+5
| | | | (Portage version: 2.2.01.21580-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-153-119/+10
| | | | (Portage version: 2.2.01.21580-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Initial import, ebuild by mePatrick Lauer2013-01-131-1/+2
| | | | (Portage version: 2.2.0_alpha151/cvs/Linux x86_64, unsigned Manifest commit)
* Initial import, ebuild by mePatrick Lauer2013-01-134-0/+50
| | | | (Portage version: 2.2.0_alpha151/cvs/Linux x86_64, unsigned Manifest commit)
* Forgot transfig dependencySebastien Fabbro2013-01-111-5/+5
| | | | (Portage version: 2.2.01.21476-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Forgot transfig dependencySebastien Fabbro2013-01-112-3/+9
| | | | (Portage version: 2.2.01.21476-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-111-5/+5
| | | | (Portage version: 2.2.01.21476-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-112-18/+21
| | | | (Portage version: 2.2.01.21476-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-101-6/+8
| | | | | | --preserve-timestamps (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-104-6/+75
| | | | | | --preserve-timestamps (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-081-17/+10
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-085-86/+17
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-071-4/+6
| | | | | | so that patch is not applied to coq-8.4_p1. (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-072-3/+85
| | | | | | so that patch is not applied to coq-8.4_p1. (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-061-2/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-062-2/+8
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing ggnfs default pathsPatrick Lauer2013-01-061-3/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing ggnfs default pathsPatrick Lauer2013-01-063-47/+12
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing linking issue with newer msievePatrick Lauer2013-01-061-2/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Fixing linking issue with newer msievePatrick Lauer2013-01-062-4/+7
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Add live ebuildPatrick Lauer2013-01-061-1/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Add live ebuildPatrick Lauer2013-01-062-2/+65
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Adding live ebuildPatrick Lauer2013-01-061-1/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Adding live ebuildPatrick Lauer2013-01-062-1/+61
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-061-2/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-062-5/+9
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, unsigned Manifest commit)
* Marked ~hppa too.Jeroen Roovers2013-01-021-5/+5
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Marked ~hppa too.Jeroen Roovers2013-01-022-5/+8
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-021-2/+2
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-022-4/+8
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* Add blas useflagPatrick Lauer2013-01-011-3/+3
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Add blas useflagPatrick Lauer2013-01-013-5/+13
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-011-3/+3
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-014-47/+78
| | | | (Portage version: 2.2.0_alpha143/cvs/Linux x86_64, unsigned Manifest commit)
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-301-13/+13
| | | | (Portage version: 2.1.11.31/cvs/Linux i686, signed Manifest commit with key 30427902)
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-302-11/+18
| | | | (Portage version: 2.1.11.31/cvs/Linux i686, signed Manifest commit with key 30427902)
* Fix doc install per bug 449312Thomas Kahle2012-12-301-5/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Fix doc install per bug 449312Thomas Kahle2012-12-302-4/+9
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-4/+6
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-283-1/+171
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
|
* Version bumpAndrey Grozin2012-12-241-16/+8
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-12-242-2/+61
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* add ~armMarkus Meier2012-12-231-9/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 072AD062)