Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | x86 stable wrt bug #509002 | Paweł Hajdan | 2014-08-14 | 1 | -6/+16 | |
* | x86 stable wrt bug #509002 | Paweł Hajdan | 2014-08-14 | 2 | -3/+6 | |
* | x86 stable wrt bug #518208 | Paweł Hajdan | 2014-08-14 | 1 | -9/+15 | |
* | x86 stable wrt bug #518208 | Paweł Hajdan | 2014-08-14 | 2 | -3/+6 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -22/+10 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 6 | -17/+22 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -6/+6 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 2 | -3/+6 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -8/+8 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 4 | -12/+15 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -4/+14 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 3 | -9/+12 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -12/+12 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 2 | -5/+8 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -12/+12 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 3 | -8/+12 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -8/+8 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 2 | -6/+8 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -7/+7 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 3 | -8/+12 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -6/+6 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 2 | -5/+8 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -6/+6 | |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 2 | -3/+6 | |
* | Stable for x86, wrt bug #516888 | Agostino Sarubbo | 2014-08-10 | 1 | -9/+15 | |
* | Stable for x86, wrt bug #516888 | Agostino Sarubbo | 2014-08-10 | 2 | -3/+6 | |
* | 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 |