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
* another version bumpJulian Ospald2014-07-041-15/+17
* another version bumpJulian Ospald2014-07-042-1/+173
* version bump wrt #513862Julian Ospald2014-07-041-8/+26
* version bump wrt #513862Julian Ospald2014-07-044-2/+339
* bump to prerelease version as latest release failsThomas Kahle2014-07-041-5/+10
* bump to prerelease version as latest release failsThomas Kahle2014-07-042-1/+160
* Bump agda to 2.4.0.1Mark Wright2014-07-021-4/+6
* Bump agda to 2.4.0.1Mark Wright2014-07-022-1/+130
* Bump agda-stdlib to 0.8Mark Wright2014-07-021-5/+7
* Bump agda-stdlib to 0.8Mark Wright2014-07-023-2/+78
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-021-1/+12
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-024-0/+57
* fix NTL test build wrt #516028Julian Ospald2014-07-021-16/+17
* fix NTL test build wrt #516028Julian Ospald2014-07-023-3/+27
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-291-2/+12
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-292-3/+6
* Remove oldThomas Kahle2014-06-271-8/+4
* Remove oldThomas Kahle2014-06-274-121/+6
* bump to 2.13Thomas Kahle2014-06-261-5/+7
* bump to 2.13Thomas Kahle2014-06-262-2/+70
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t...Mark Wright2014-06-221-6/+6
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t...Mark Wright2014-06-222-4/+16
* version bumpJulian Ospald2014-06-201-15/+17
* version bumpJulian Ospald2014-06-202-1/+68
* Fixed missing include version file for java option and forced -j1 until prope...Sebastien Fabbro2014-06-091-12/+3
* Fixed missing include version file for java option and forced -j1 until prope...Sebastien Fabbro2014-06-093-5/+46
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-091-9/+9
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-093-23/+36
* Spread more deathThomas Kahle2014-06-091-10/+6
* Spread more deathThomas Kahle2014-06-093-5/+9
* Stable for amd64 wrt bug #509002José María Alonso2014-06-091-5/+9
* Stable for amd64 wrt bug #509002José María Alonso2014-06-092-4/+7
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-031-7/+7
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-032-3/+6
* Fix digest because upstream replaced distfilesThomas Kahle2014-06-021-13/+3
* Version bumpSebastien Fabbro2014-05-291-4/+6
* Version bumpSebastien Fabbro2014-05-292-1/+139
* Version bump, switch to EAPI5Sebastien Fabbro2014-05-281-5/+7
* Version bump, switch to EAPI5Sebastien Fabbro2014-05-282-2/+55
* Version bumpSebastien Fabbro2014-05-281-7/+6
* Version bumpSebastien Fabbro2014-05-283-58/+44
* Version bumpSebastien Fabbro2014-05-281-12/+6
* Version bumpSebastien Fabbro2014-05-287-208/+33
* add myself as maintainerJulian Ospald2014-05-181-16/+16
* add myself as maintainerJulian Ospald2014-05-182-1/+11
* version bump wrt #507572Julian Ospald2014-05-181-2/+29
* version bump wrt #507572Julian Ospald2014-05-186-2/+207
* Bump to 2.11Thomas Kahle2014-05-091-5/+8
* Bump to 2.11Thomas Kahle2014-05-093-2/+104
* Import from sage-on-gentoo overlaySebastien Fabbro2014-05-081-4/+9