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
* sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclassJustin Lecher2013-12-114-28/+45
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Thanks to vikraman: The agda-lib-ffi package provides some additional ↵Mark Wright2013-12-104-74/+44
| | | | | | | haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild. Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-103-5/+120
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, ↵Justin Lecher2013-12-074-2/+198
| | | | | | | https://savannah.gnu.org/bugs/?38746, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=705485 Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Version bumpSebastien Fabbro2013-12-033-6/+12
| | | | | Package-Manager: portage-2.2.7-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-193-14/+9
| | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64
* Version bump.Paweł Hajdan2013-11-184-7/+85
| | | | | Package-Manager: portage-2.2.1/cvs/Linux i686 Manifest-Sign-Key: 0x30427902
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-133-6/+77
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-123-5/+18
| | | | | Package-Manager: portage-2.2.7-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-113-29/+11
| | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64
* Version bumpSebastien Fabbro2013-11-064-14/+86
| | | | | Package-Manager: portage-2.2.7-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-054-17/+116
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-313-19/+12
| | | | | Package-Manager: portage-2.2.7-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-303-24/+27
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-307-22/+102
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Version bump, patches not needed anymore, fix bug #489526, thanks ↵Sebastien Fabbro2013-10-303-2/+107
| | | | | | | cujyaz@googlemail.com Package-Manager: portage-2.2.7-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-213-2/+51
| | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, ↵Mark Wright2013-10-193-9/+21
| | | | | | | fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND. Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ↵Tony Vroon2013-10-143-10/+14
| | | | | | | "Armageddon" El Lazkani in bug #487024. Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0xB5058F9A
* Version bumpAndrey Grozin2013-10-143-26/+27
| | | | | Package-Manager: portage-2.2.7/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Version bumpAndrey Grozin2013-10-143-17/+223
| | | | | Package-Manager: portage-2.2.7/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* remove oldThomas Kahle2013-09-146-219/+16
| | | | | Package-Manager: portage-2.2.4/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-134-5/+151
| | | | | Package-Manager: portage-2.2.3/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump agda-stdlib to 0.7Mark Wright2013-09-133-6/+72
| | | | | Package-Manager: portage-2.2.3/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-133-2/+54
| | | | | Package-Manager: portage-2.2.3/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* bump to 1.6Thomas Kahle2013-09-113-16/+49
| | | | | Package-Manager: portage-2.2.2/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* WhitespacePatrick Lauer2013-09-103-15/+7
| | | | Package-Manager: portage-2.2.2/cvs/Linux x86_64
* Version bumpSebastien Fabbro2013-09-043-6/+60
| | | | | Package-Manager: portage-2.2.01.22288-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-013-9/+12
| | | | | Package-Manager: portage-2.2.1/cvs/Linux i686 Manifest-Sign-Key: 0xFDE8EF85AE5719A3
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-316-6/+622
| | | | | Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-233-19/+14
| | | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-6/+138
| | | | | Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-9/+12
| | | | | Package-Manager: portage-2.2.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-194-17/+21
| | | | | Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2013-08-198-467/+10
| | | | | Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to ↵Mark Wright2013-08-173-19/+19
| | | | | | | JAVA_GENTOO_CLASSPATH. Try to fix bug #458462 - it merges ok with JAVA_PKG_STRICT="true" in my tests. Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fix homepage and build directorySebastien Fabbro2013-08-124-15/+19
| | | | | Package-Manager: portage-2.2.01.22124-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-114-43/+26
| | | | | Package-Manager: portage-2.2.0_alpha196/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Version bumpSebastien Fabbro2013-08-065-7/+128
| | | | | Package-Manager: portage-2.2.01.22124-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-044-0/+107
| | | | | Package-Manager: portage-2.1.13.1/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-033-17/+91
| | | | | Package-Manager: portage-2.2.0_alpha191/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-273-18/+21
| | | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* bump to 2.10.1, remove oldThomas Kahle2013-07-274-83/+25
| | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* relax Normaliz depThomas Kahle2013-07-273-10/+13
| | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* Fix Qt dependencies.Michael Palimaka2013-07-233-8/+16
| | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 Manifest-Sign-Key: 0x675D0D2C
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-213-9/+22
| | | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* Cleanup due #473480Pacho Ramos2013-07-213-18/+28
| | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 Manifest-Sign-Key: 0xA188FBD4
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-183-25/+9
| | | | Package-Manager: portage-2.1.12.2/cvs/Linux x86_64
* Fix wrong usage of EPREFIXThomas Kahle2013-07-183-9/+12
| | | | | Package-Manager: portage-2.1.12.13/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC!
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-184-18/+12
| | | | Package-Manager: portage-2.1.12.2/cvs/Linux x86_64