summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-22/+10
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-106-17/+22
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-6/+6
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-3/+6
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-8/+8
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-104-12/+15
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-4/+14
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-103-9/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-12/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-5/+8
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-12/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-103-8/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-8/+8
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-6/+8
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-7/+7
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-103-8/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-6/+6
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-5/+8
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-6/+6
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-3/+6
* Stable for x86, wrt bug #516888Agostino Sarubbo2014-08-101-9/+15
* Stable for x86, wrt bug #516888Agostino Sarubbo2014-08-102-3/+6
* Default lisp on arm is now gclAndrey Grozin2014-08-031-17/+17
* Default lisp on arm is now gclAndrey Grozin2014-08-032-6/+16
* Stable for amd64 wrt bug #518208José María Alonso2014-08-011-18/+10
* Stable for amd64 wrt bug #518208José María Alonso2014-08-012-3/+6
* fix deps wrt #518500Julian Ospald2014-07-301-17/+17
* fix deps wrt #518500Julian Ospald2014-07-302-3/+13
* 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