summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* x86 stable wrt bug #516464Paweł Hajdan2014-07-271-18/+16
* x86 stable wrt bug #516464Paweł Hajdan2014-07-272-4/+7
* Stable for amd64 wrt bug #516888José María Alonso2014-07-221-5/+9
* Stable for amd64 wrt bug #516888José María Alonso2014-07-222-3/+6
* Stable for amd64 wrt bug #511442José María Alonso2014-07-181-2/+16
* Stable for amd64 wrt bug #511442José María Alonso2014-07-182-3/+6
* Drop to maintainer needed.Michael Palimaka2014-07-161-6/+17
* Drop to maintainer needed.Michael Palimaka2014-07-162-3/+8
* remove oldThomas Kahle2014-07-121-10/+5
* remove oldThomas Kahle2014-07-125-259/+5
* 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