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
* Default lisp on arm is now gclAndrey Grozin2014-08-031-17/+17
| | | | (Portage version: 2.2.10/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Default lisp on arm is now gclAndrey Grozin2014-08-032-6/+16
| | | | (Portage version: 2.2.10/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Stable for amd64 wrt bug #518208José María Alonso2014-08-011-18/+10
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for amd64 wrt bug #518208José María Alonso2014-08-012-3/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* fix deps wrt #518500Julian Ospald2014-07-301-17/+17
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* fix deps wrt #518500Julian Ospald2014-07-302-3/+13
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* x86 stable wrt bug #516464Paweł Hajdan2014-07-271-18/+16
| | | | (Portage version: 2.2.8-r1/cvs/Linux i686, RepoMan options: --ignore-arches, signed Manifest commit with key 0x4F1A2555EA71991D!)
* x86 stable wrt bug #516464Paweł Hajdan2014-07-272-4/+7
| | | | (Portage version: 2.2.8-r1/cvs/Linux i686, RepoMan options: --ignore-arches, signed Manifest commit with key 0x4F1A2555EA71991D!)
* Stable for amd64 wrt bug #516888José María Alonso2014-07-221-5/+9
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for amd64 wrt bug #516888José María Alonso2014-07-222-3/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for amd64 wrt bug #511442José María Alonso2014-07-181-2/+16
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for amd64 wrt bug #511442José María Alonso2014-07-182-3/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Drop to maintainer needed.Michael Palimaka2014-07-161-6/+17
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 0x06B1F38DCA45A1EC!)
* Drop to maintainer needed.Michael Palimaka2014-07-162-3/+8
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 0x06B1F38DCA45A1EC!)
* remove oldThomas Kahle2014-07-121-10/+5
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* remove oldThomas Kahle2014-07-125-259/+5
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* another version bumpJulian Ospald2014-07-041-15/+17
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* another version bumpJulian Ospald2014-07-042-1/+173
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* version bump wrt #513862Julian Ospald2014-07-041-8/+26
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* version bump wrt #513862Julian Ospald2014-07-044-2/+339
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* bump to prerelease version as latest release failsThomas Kahle2014-07-041-5/+10
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* bump to prerelease version as latest release failsThomas Kahle2014-07-042-1/+160
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Bump agda to 2.4.0.1Mark Wright2014-07-021-4/+6
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda to 2.4.0.1Mark Wright2014-07-022-1/+130
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.8Mark Wright2014-07-021-5/+7
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.8Mark Wright2014-07-023-2/+78
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-021-1/+12
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-024-0/+57
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* fix NTL test build wrt #516028Julian Ospald2014-07-021-16/+17
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* fix NTL test build wrt #516028Julian Ospald2014-07-023-3/+27
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-291-2/+12
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-292-3/+6
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key A792A613)
* Remove oldThomas Kahle2014-06-271-8/+4
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Remove oldThomas Kahle2014-06-274-121/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* bump to 2.13Thomas Kahle2014-06-261-5/+7
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* bump to 2.13Thomas Kahle2014-06-262-2/+70
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify ↵Mark Wright2014-06-221-6/+6
| | | | | | the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions. (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify ↵Mark Wright2014-06-222-4/+16
| | | | | | the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions. (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* version bumpJulian Ospald2014-06-201-15/+17
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* version bumpJulian Ospald2014-06-202-1/+68
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
* Fixed missing include version file for java option and forced -j1 until ↵Sebastien Fabbro2014-06-091-12/+3
| | | | | | proper fix (bug #511856) (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed missing include version file for java option and forced -j1 until ↵Sebastien Fabbro2014-06-093-5/+46
| | | | | | proper fix (bug #511856) (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-091-9/+9
| | | | (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-093-23/+36
| | | | (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Spread more deathThomas Kahle2014-06-091-10/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Spread more deathThomas Kahle2014-06-093-5/+9
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Stable for amd64 wrt bug #509002José María Alonso2014-06-091-5/+9
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for amd64 wrt bug #509002José María Alonso2014-06-092-4/+7
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-031-7/+7
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-032-3/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)