summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Default lisp on arm is now gclAndrey Grozin2014-08-033-23/+33
* Stable for amd64 wrt bug #518208José María Alonso2014-08-013-21/+16
* fix deps wrt #518500Julian Ospald2014-07-303-20/+30
* x86 stable wrt bug #516464Paweł Hajdan2014-07-273-22/+23
* Stable for amd64 wrt bug #516888José María Alonso2014-07-223-8/+15
* Stable for amd64 wrt bug #511442José María Alonso2014-07-183-5/+22
* Drop to maintainer needed.Michael Palimaka2014-07-163-9/+25
* remove oldThomas Kahle2014-07-126-269/+10
* another version bumpJulian Ospald2014-07-043-16/+190
* version bump wrt #513862Julian Ospald2014-07-045-10/+365
* bump to prerelease version as latest release failsThomas Kahle2014-07-043-6/+170
* Bump agda to 2.4.0.1Mark Wright2014-07-023-5/+136
* Bump agda-stdlib to 0.8Mark Wright2014-07-024-7/+85
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-023-1/+57
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-022-0/+12
* fix NTL test build wrt #516028Julian Ospald2014-07-024-19/+44
* Fix typo (bug #515670 by Juergen Rose).Jeroen Roovers2014-06-293-5/+18
* Remove oldThomas Kahle2014-06-275-129/+10
* bump to 2.13Thomas Kahle2014-06-263-7/+77
* Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t...Mark Wright2014-06-223-10/+22
* version bumpJulian Ospald2014-06-203-16/+85
* Fixed missing include version file for java option and forced -j1 until prope...Sebastien Fabbro2014-06-094-17/+49
* Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472Sebastien Fabbro2014-06-094-32/+45
* Spread more deathThomas Kahle2014-06-094-15/+15
* Stable for amd64 wrt bug #509002José María Alonso2014-06-093-9/+16
* Fix distfile mess (bug #512182)Thomas Kahle2014-06-033-10/+13
* Fix digest because upstream replaced distfilesThomas Kahle2014-06-021-13/+3
* Version bumpSebastien Fabbro2014-05-293-5/+145
* Version bump, switch to EAPI5Sebastien Fabbro2014-05-283-7/+62
* Version bumpSebastien Fabbro2014-05-284-65/+50
* Version bumpSebastien Fabbro2014-05-288-220/+39
* add myself as maintainerJulian Ospald2014-05-183-17/+27
* version bump wrt #507572Julian Ospald2014-05-187-4/+236
* Bump to 2.11Thomas Kahle2014-05-094-7/+112
* Import from sage-on-gentoo overlaySebastien Fabbro2014-05-086-5/+399
* Version bumpAndrey Grozin2014-05-084-36/+28
* Stable for x86, wrt bug #506792Agostino Sarubbo2014-05-043-8/+21
* Use python-2 for gtest (bug 509462)Thomas Kahle2014-05-033-11/+14
* bump to 1.6.2Thomas Kahle2014-04-233-13/+46
* Fix thanks.Jeroen Roovers2014-04-182-6/+6
* Removed checking of symbols in linear algebra libraries bug #507782Sebastien Fabbro2014-04-173-39/+10
* Fix LICENSE, add mirror and bindist restrictions, bug 470798.Ulrich Müller2014-04-163-15/+26
* remove spqr check, not needed in octave anyway, bug #507782Sebastien Fabbro2014-04-163-8/+10
* Fixed bug #504470, thanks jer, fixed for gui prefix, add sub-slotted dependen...Sebastien Fabbro2014-04-1511-950/+139
* Re-add for amd64-fbsdSebastien Fabbro2014-04-153-2/+72
* amd64 stable, bug #506792Pacho Ramos2014-04-133-8/+11
* re-add missing patchSebastien Fabbro2014-04-095-117/+18
* Backport systemd unit files for faster stabilization (#506792 by Paolo Pedroni)Pacho Ramos2014-04-073-5/+80
* Version bumpAndrey Grozin2014-04-063-29/+27
* Version bumpSebastien Fabbro2014-04-058-156/+113