Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-083-22/+32
* [QA] Change !use by ! use such that it negates the USE flag instead of expand...Tom Wijsman2014-01-075-19/+33
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-064-45/+58
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-067-245/+35
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-063-123/+19
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (...Justin Lecher2014-01-064-93/+107
* Put in a note that compileWriteUdg.o will take a long time to compile.Robin H. Johnson2013-12-283-4/+8
* Bug #492696: version bump.Robin H. Johnson2013-12-283-4/+145
* sci-mathematics/jags: Drop oldJustin Lecher2013-12-244-68/+23
* Stable for x86, wrt bug #487024Agostino Sarubbo2013-12-243-9/+22
* fix build with +server wrt #494362Julian Ospald2013-12-233-12/+15
* Stable for HPPA (bug #494330).Jeroen Roovers2013-12-223-10/+13
* version bumpJulian Ospald2013-12-146-10/+320
* sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclassJustin Lecher2013-12-114-28/+45
* Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...Mark Wright2013-12-104-74/+44
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-103-5/+120
* sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna...Justin Lecher2013-12-074-2/+198
* Version bumpSebastien Fabbro2013-12-033-6/+12
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-193-14/+9
* Version bump.Paweł Hajdan2013-11-184-7/+85
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-133-6/+77
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-123-5/+18
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-113-29/+11
* Version bumpSebastien Fabbro2013-11-064-14/+86
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-054-17/+116
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-313-19/+12
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-303-24/+27
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-307-22/+102
* Version bump, patches not needed anymore, fix bug #489526, thanks cujyaz@goog...Sebastien Fabbro2013-10-303-2/+107
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-213-2/+51
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...Mark Wright2013-10-193-9/+21
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ...Tony Vroon2013-10-143-10/+14
* Version bumpAndrey Grozin2013-10-143-26/+27
* Version bumpAndrey Grozin2013-10-143-17/+223
* remove oldThomas Kahle2013-09-146-219/+16
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-134-5/+151
* Bump agda-stdlib to 0.7Mark Wright2013-09-133-6/+72
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-133-2/+54
* bump to 1.6Thomas Kahle2013-09-113-16/+49
* WhitespacePatrick Lauer2013-09-103-15/+7
* Version bumpSebastien Fabbro2013-09-043-6/+60
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-013-9/+12
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-316-6/+622
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-233-19/+14
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-6/+138
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-9/+12
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-194-17/+21
* remove oldAlexis Ballier2013-08-198-467/+10
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-173-19/+19
* Fix homepage and build directorySebastien Fabbro2013-08-124-15/+19