| Commit message (Expand) | Author | Age | Files | Lines |
* | Default lisp on arm is now gcl | Andrey Grozin | 2014-08-03 | 1 | -17/+17 |
* | Default lisp on arm is now gcl | Andrey Grozin | 2014-08-03 | 2 | -6/+16 |
* | Stable for amd64 wrt bug #518208 | José María Alonso | 2014-08-01 | 1 | -18/+10 |
* | Stable for amd64 wrt bug #518208 | José María Alonso | 2014-08-01 | 2 | -3/+6 |
* | fix deps wrt #518500 | Julian Ospald | 2014-07-30 | 1 | -17/+17 |
* | fix deps wrt #518500 | Julian Ospald | 2014-07-30 | 2 | -3/+13 |
* | x86 stable wrt bug #516464 | Paweł Hajdan | 2014-07-27 | 1 | -18/+16 |
* | x86 stable wrt bug #516464 | Paweł Hajdan | 2014-07-27 | 2 | -4/+7 |
* | Stable for amd64 wrt bug #516888 | José María Alonso | 2014-07-22 | 1 | -5/+9 |
* | Stable for amd64 wrt bug #516888 | José María Alonso | 2014-07-22 | 2 | -3/+6 |
* | Stable for amd64 wrt bug #511442 | José María Alonso | 2014-07-18 | 1 | -2/+16 |
* | Stable for amd64 wrt bug #511442 | José María Alonso | 2014-07-18 | 2 | -3/+6 |
* | Drop to maintainer needed. | Michael Palimaka | 2014-07-16 | 1 | -6/+17 |
* | Drop to maintainer needed. | Michael Palimaka | 2014-07-16 | 2 | -3/+8 |
* | remove old | Thomas Kahle | 2014-07-12 | 1 | -10/+5 |
* | remove old | Thomas Kahle | 2014-07-12 | 5 | -259/+5 |
* | another version bump | Julian Ospald | 2014-07-04 | 1 | -15/+17 |
* | another version bump | Julian Ospald | 2014-07-04 | 2 | -1/+173 |
* | version bump wrt #513862 | Julian Ospald | 2014-07-04 | 1 | -8/+26 |
* | version bump wrt #513862 | Julian Ospald | 2014-07-04 | 4 | -2/+339 |
* | bump to prerelease version as latest release fails | Thomas Kahle | 2014-07-04 | 1 | -5/+10 |
* | bump to prerelease version as latest release fails | Thomas Kahle | 2014-07-04 | 2 | -1/+160 |
* | Bump agda to 2.4.0.1 | Mark Wright | 2014-07-02 | 1 | -4/+6 |
* | Bump agda to 2.4.0.1 | Mark Wright | 2014-07-02 | 2 | -1/+130 |
* | Bump agda-stdlib to 0.8 | Mark Wright | 2014-07-02 | 1 | -5/+7 |
* | Bump agda-stdlib to 0.8 | Mark Wright | 2014-07-02 | 3 | -2/+78 |
* | Thanks to vikraman for writing the agda-lib-ffi ebuild | Mark Wright | 2014-07-02 | 1 | -1/+12 |
* | Thanks to vikraman for writing the agda-lib-ffi ebuild | Mark Wright | 2014-07-02 | 4 | -0/+57 |
* | fix NTL test build wrt #516028 | Julian Ospald | 2014-07-02 | 1 | -16/+17 |
* | fix NTL test build wrt #516028 | Julian Ospald | 2014-07-02 | 3 | -3/+27 |
* | Fix typo (bug #515670 by Juergen Rose). | Jeroen Roovers | 2014-06-29 | 1 | -2/+12 |
* | Fix typo (bug #515670 by Juergen Rose). | Jeroen Roovers | 2014-06-29 | 2 | -3/+6 |
* | Remove old | Thomas Kahle | 2014-06-27 | 1 | -8/+4 |
* | Remove old | Thomas Kahle | 2014-06-27 | 4 | -121/+6 |
* | bump to 2.13 | Thomas Kahle | 2014-06-26 | 1 | -5/+7 |
* | bump to 2.13 | Thomas Kahle | 2014-06-26 | 2 | -2/+70 |
* | Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t... | Mark Wright | 2014-06-22 | 1 | -6/+6 |
* | Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t... | Mark Wright | 2014-06-22 | 2 | -4/+16 |
* | version bump | Julian Ospald | 2014-06-20 | 1 | -15/+17 |
* | version bump | Julian Ospald | 2014-06-20 | 2 | -1/+68 |
* | Fixed missing include version file for java option and forced -j1 until prope... | Sebastien Fabbro | 2014-06-09 | 1 | -12/+3 |
* | Fixed missing include version file for java option and forced -j1 until prope... | Sebastien Fabbro | 2014-06-09 | 3 | -5/+46 |
* | Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472 | Sebastien Fabbro | 2014-06-09 | 1 | -9/+9 |
* | Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472 | Sebastien Fabbro | 2014-06-09 | 3 | -23/+36 |
* | Spread more death | Thomas Kahle | 2014-06-09 | 1 | -10/+6 |
* | Spread more death | Thomas Kahle | 2014-06-09 | 3 | -5/+9 |
* | Stable for amd64 wrt bug #509002 | José María Alonso | 2014-06-09 | 1 | -5/+9 |
* | Stable for amd64 wrt bug #509002 | José María Alonso | 2014-06-09 | 2 | -4/+7 |
* | Fix distfile mess (bug #512182) | Thomas Kahle | 2014-06-03 | 1 | -7/+7 |
* | Fix distfile mess (bug #512182) | Thomas Kahle | 2014-06-03 | 2 | -3/+6 |