summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bumpAndrey Grozin2014-08-283-16/+220
* version bumpJulian Ospald2014-08-273-16/+177
* rm server support wrt #519290Julian Ospald2014-08-273-16/+145
* Initial commit. Package for geometryAmy Winston2014-08-234-1/+135
* Initial commit. Package for geometryAmy Winston2014-08-232-0/+14
* Undo drop (bug #520160)Thomas Kahle2014-08-185-130/+70
* sci-mathematics/normaliz: Drop oldJustin Lecher2014-08-155-144/+33
* x86 stable wrt bug #509002Paweł Hajdan2014-08-143-9/+22
* x86 stable wrt bug #518208Paweł Hajdan2014-08-143-12/+21
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-1039-167/+198
* Stable for x86, wrt bug #516888Agostino Sarubbo2014-08-103-12/+21
* 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