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
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-191-2/+2
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-192-12/+7
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* Version bump.Paweł Hajdan2013-11-181-5/+8
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 30427902)
* Version bump.Paweł Hajdan2013-11-183-2/+77
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 30427902)
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-131-5/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-132-1/+71
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-121-2/+12
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-122-3/+6
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-111-24/+4
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-112-5/+7
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* Version bumpSebastien Fabbro2013-11-061-12/+5
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2013-11-063-2/+81
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-051-9/+21
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-053-8/+95
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-311-16/+6
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-312-3/+6
| | | | (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-301-15/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-302-9/+12
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-301-8/+20
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-306-14/+82
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Version bump, patches not needed anymore, fix bug #489526, thanks ↵Sebastien Fabbro2013-10-301-1/+13
| | | | | | cujyaz@googlemail.com (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump, patches not needed anymore, fix bug #489526, thanks ↵Sebastien Fabbro2013-10-302-1/+94
| | | | | | cujyaz@googlemail.com (Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-211-1/+3
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-212-1/+48
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵Mark Wright2013-10-191-6/+6
| | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵Mark Wright2013-10-192-3/+15
| | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ↵Tony Vroon2013-10-141-6/+6
| | | | | | "Armageddon" El Lazkani in bug #487024. (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 0xB5058F9A)
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ↵Tony Vroon2013-10-142-4/+8
| | | | | | "Armageddon" El Lazkani in bug #487024. (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 0xB5058F9A)
* Version bumpAndrey Grozin2013-10-141-18/+18
| | | | (Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Version bumpAndrey Grozin2013-10-142-8/+9
| | | | (Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Version bumpAndrey Grozin2013-10-141-16/+18
| | | | (Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Version bumpAndrey Grozin2013-10-142-1/+205
| | | | (Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* remove oldThomas Kahle2013-09-141-16/+10
| | | | (Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* remove oldThomas Kahle2013-09-145-203/+6
| | | | (Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-131-4/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-133-1/+144
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-131-5/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-132-1/+65
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-131-1/+12
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-132-1/+42
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* bump to 1.6Thomas Kahle2013-09-111-15/+7
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* bump to 1.6Thomas Kahle2013-09-112-1/+42
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* WhitespacePatrick Lauer2013-09-101-12/+2
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, unsigned Manifest commit)
* WhitespacePatrick Lauer2013-09-102-3/+5
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, unsigned Manifest commit)
* Version bumpSebastien Fabbro2013-09-041-5/+7
| | | | (Portage version: 2.2.01.22288-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2013-09-042-1/+53
| | | | (Portage version: 2.2.01.22288-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-011-5/+5
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-012-4/+7
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-311-5/+12
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-315-1/+610
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)