summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Update to use mirror://.Michał Górny2012-04-241-8/+10
* Update to use mirror://.Michał Górny2012-04-243-6/+10
* Update to use mirror://.Michał Górny2012-04-241-10/+12
* Update to use mirror://.Michał Górny2012-04-245-9/+13
* Bump to 2.12Thomas Kahle2012-04-201-4/+7
* Bump to 2.12Thomas Kahle2012-04-203-2/+102
* Version bumpSebastien Fabbro2012-04-181-4/+7
* Version bumpSebastien Fabbro2012-04-182-2/+82
* Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ...Thomas Kahle2012-04-161-11/+15
* Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ...Thomas Kahle2012-04-166-204/+40
* Version bumpSebastien Fabbro2012-04-161-6/+6
* Version bumpSebastien Fabbro2012-04-162-2/+8
* Version bumpSebastien Fabbro2012-04-161-19/+7
* Version bumpSebastien Fabbro2012-04-163-142/+26
* Stable for amd64, wrt bug #412179Agostino Sarubbo2012-04-161-12/+2
* Stable for amd64, wrt bug #412179Agostino Sarubbo2012-04-162-5/+8
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-131-8/+18
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-134-9/+13
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-131-8/+18
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-134-9/+13
* Bump to 0.9.0Thomas Kahle2012-04-131-6/+8
* Bump to 0.9.0Thomas Kahle2012-04-132-2/+55
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-131-3/+13
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-133-5/+21
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-131-12/+3
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-133-3/+20
* Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix...Sebastien Fabbro2012-04-121-3/+14
* Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix...Sebastien Fabbro2012-04-124-18/+55
* Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the...Andrey Grozin2012-04-051-15/+8
* Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the...Andrey Grozin2012-04-057-1/+243
* Version bumpAndrey Grozin2012-04-051-1/+5
* Version bumpAndrey Grozin2012-04-054-1/+278
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-011-5/+6
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-013-2/+33
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-261-12/+2
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-262-5/+8
* Marked ~x86-macosFabian Groffen2012-03-251-7/+7
* Marked ~x86-macosFabian Groffen2012-03-252-3/+6
* Drop ia64/sparcRaúl Porcel2012-03-251-5/+15
* Drop ia64/sparcRaúl Porcel2012-03-255-10/+18
* Add agda-executable, Command-line program for type-checking and compiling Agd...Mark Wright2012-03-251-0/+16
* Add agda-executable, Command-line program for type-checking and compiling Agd...Mark Wright2012-03-254-0/+89
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-251-0/+15
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-254-0/+62
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...Mark Wright2012-03-251-6/+9
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...Mark Wright2012-03-255-16/+126
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-251-8/+8
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-254-25/+20
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa...Thomas Kahle2012-03-241-4/+8
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa...Thomas Kahle2012-03-243-2/+233