summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...Mark Wright2013-10-191-6/+6
* Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...Mark Wright2013-10-192-3/+15
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ...Tony Vroon2013-10-141-6/+6
* Quote variable and mark stable on AMD64, as per arch tester report by Elijah ...Tony Vroon2013-10-142-4/+8
* Version bumpAndrey Grozin2013-10-141-18/+18
* Version bumpAndrey Grozin2013-10-142-8/+9
* Version bumpAndrey Grozin2013-10-141-16/+18
* Version bumpAndrey Grozin2013-10-142-1/+205
* remove oldThomas Kahle2013-09-141-16/+10
* remove oldThomas Kahle2013-09-145-203/+6
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-131-4/+7
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-133-1/+144
* Bump agda-stdlib to 0.7Mark Wright2013-09-131-5/+7
* Bump agda-stdlib to 0.7Mark Wright2013-09-132-1/+65
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-131-1/+12
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-132-1/+42
* bump to 1.6Thomas Kahle2013-09-111-15/+7
* bump to 1.6Thomas Kahle2013-09-112-1/+42
* WhitespacePatrick Lauer2013-09-101-12/+2
* WhitespacePatrick Lauer2013-09-102-3/+5
* Version bumpSebastien Fabbro2013-09-041-5/+7
* Version bumpSebastien Fabbro2013-09-042-1/+53
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-011-5/+5
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-012-4/+7
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-311-5/+12
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-315-1/+610
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-231-5/+5
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-232-14/+9
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-4/+6
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-2/+132
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-6/+6
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-3/+6
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-191-6/+6
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-193-11/+15
* remove oldAlexis Ballier2013-08-191-14/+4
* remove oldAlexis Ballier2013-08-197-453/+6
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-171-6/+6
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-172-13/+13
* Fix homepage and build directorySebastien Fabbro2013-08-121-7/+7
* Fix homepage and build directorySebastien Fabbro2013-08-123-8/+12
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-111-16/+15
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-113-27/+11
* Version bumpSebastien Fabbro2013-08-061-5/+9
* Version bumpSebastien Fabbro2013-08-064-2/+119
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-041-0/+14
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-043-0/+93
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-031-16/+8
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-032-1/+83
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-271-15/+15
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-272-3/+6