Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* 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)
* add ~armMarkus Meier2012-12-232-3/+6
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* Remove old.Michael Palimaka2012-12-201-8/+8
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Remove old.Michael Palimaka2012-12-204-103/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Version bumpAndrey Grozin2012-12-141-1/+6
| | | | (Portage version: 2.2.0_alpha148/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-12-145-1/+306
| | | | (Portage version: 2.2.0_alpha148/cvs/Linux i686, unsigned Manifest commit)
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-141-5/+15
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-142-3/+6
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Version bumpSebastien Fabbro2012-12-121-5/+8
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-12-123-6/+84
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-121-5/+5
| | | | | | depends on twelf. (Portage version: 2.1.11.36/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-122-5/+8
| | | | | | depends on twelf. (Portage version: 2.1.11.36/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-111-18/+9
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-115-44/+59
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Removed oldSebastien Fabbro2012-12-111-14/+10
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)