summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Stable for amd64 wrt bug #516888José María Alonso2014-07-223-8/+15
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0xD628E536
* Stable for amd64 wrt bug #511442José María Alonso2014-07-183-5/+22
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0xD628E536
* Drop to maintainer needed.Michael Palimaka2014-07-163-9/+25
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x06B1F38DCA45A1EC!
* remove oldThomas Kahle2014-07-126-269/+10
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* another version bumpJulian Ospald2014-07-043-16/+190
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* version bump wrt #513862Julian Ospald2014-07-045-10/+365
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* bump to prerelease version as latest release failsThomas Kahle2014-07-043-6/+170
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Bump agda to 2.4.0.1Mark Wright2014-07-023-5/+136
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump agda-stdlib to 0.8Mark Wright2014-07-024-7/+85
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-023-1/+57
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-022-0/+12
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* fix NTL test build wrt #516028Julian Ospald2014-07-024-19/+44
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-293-5/+18
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Remove oldThomas Kahle2014-06-275-129/+10
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* bump to 2.13Thomas Kahle2014-06-263-7/+77
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify ↵Mark Wright2014-06-223-10/+22
| | | | | | | the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 and later versions. Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* version bumpJulian Ospald2014-06-203-16/+85
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* Fixed missing include version file for java option and forced -j1 until ↵Sebastien Fabbro2014-06-094-17/+49
| | | | | | | proper fix (bug #511856) Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-094-32/+45
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Spread more deathThomas Kahle2014-06-094-15/+15
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Stable for amd64 wrt bug #509002José María Alonso2014-06-093-9/+16
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0xD628E536
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-033-10/+13
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Fix digest because upstream replaced distfilesThomas Kahle2014-06-021-13/+3
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Version bumpSebastien Fabbro2014-05-293-5/+145
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bump, switch to EAPI5Sebastien Fabbro2014-05-283-7/+62
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bumpSebastien Fabbro2014-05-284-65/+50
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bumpSebastien Fabbro2014-05-288-220/+39
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* add myself as maintainerJulian Ospald2014-05-183-17/+27
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* version bump wrt #507572Julian Ospald2014-05-187-4/+236
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xBDEED020
* Bump to 2.11Thomas Kahle2014-05-094-7/+112
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Import from sage-on-gentoo overlaySebastien Fabbro2014-05-086-5/+399
| | | | | Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bumpAndrey Grozin2014-05-084-36/+28
| | | | | Package-Manager: portage-2.2.10/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Stable for x86, wrt bug #506792Agostino Sarubbo2014-05-043-8/+21
| | | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Use python-2 for gtest (bug 509462)Thomas Kahle2014-05-033-11/+14
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* bump to 1.6.2Thomas Kahle2014-04-233-13/+46
| | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64
* Fix thanks.Jeroen Roovers2014-04-182-6/+6
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Removed checking of symbols in linear algebra libraries bug #507782Sebastien Fabbro2014-04-173-39/+10
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Fix LICENSE, add mirror and bindist restrictions, bug 470798.Ulrich Müller2014-04-163-15/+26
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x9433907D693FB5B8!
* remove spqr check, not needed in octave anyway, bug #507782Sebastien Fabbro2014-04-163-8/+10
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Fixed bug #504470, thanks jer, fixed for gui prefix, add sub-slotted ↵Sebastien Fabbro2014-04-1511-950/+139
| | | | | | | dependencies, general cleanup Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Re-add for amd64-fbsdSebastien Fabbro2014-04-153-2/+72
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* amd64 stable, bug #506792Pacho Ramos2014-04-133-8/+11
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xA188FBD4
* re-add missing patchSebastien Fabbro2014-04-095-117/+18
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Backport systemd unit files for faster stabilization (#506792 by Paolo Pedroni)Pacho Ramos2014-04-073-5/+80
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xA188FBD4
* Version bumpAndrey Grozin2014-04-063-29/+27
| | | | | Package-Manager: portage-2.2.10/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Version bumpSebastien Fabbro2014-04-058-156/+113
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* sci-mathematics/genius: Add fix for gcc-4.8Justin Lecher2014-04-054-10/+57
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Cleaning oldAndrey Grozin2014-03-303-103/+22
| | | | | Package-Manager: portage-2.2.10/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Fix for readline 6.3, thanks Helmut Jarausch bug #505886Sebastien Fabbro2014-03-275-13/+32
| | | | | Package-Manager: portage-2.2.8-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bump, thanks to Claus-Justus Heine <himself@claus-justus-heine.de>, ↵Andrey Grozin2014-03-255-11/+114
| | | | | | | #504372 Package-Manager: portage-2.2.8-r1/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!