summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* version bumpJulian Ospald2013-12-141-9/+15
* version bumpJulian Ospald2013-12-145-1/+305
* sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclassJustin Lecher2013-12-111-8/+18
* sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclassJustin Lecher2013-12-113-20/+27
* Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...Mark Wright2013-12-101-9/+6
* Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...Mark Wright2013-12-103-65/+38
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-101-4/+6
* Bump agda to 2.3.2.2-r1Mark Wright2013-12-102-1/+114
* sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna...Justin Lecher2013-12-071-1/+23
* sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna...Justin Lecher2013-12-073-1/+175
* Version bumpSebastien Fabbro2013-12-031-3/+3
* Version bumpSebastien Fabbro2013-12-032-3/+9
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-191-2/+2
* Adapt live ebuild to upstream changesPatrick Lauer2013-11-192-12/+7
* Version bump.Paweł Hajdan2013-11-181-5/+8
* Version bump.Paweł Hajdan2013-11-183-2/+77
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-131-5/+6
* pax-mark m on the binary (bug 491074)Thomas Kahle2013-11-132-1/+71
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-121-2/+12
* Fixed doc installation directory (bug #490702)Sebastien Fabbro2013-11-122-3/+6
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-111-24/+4
* drop gsview which is gtk+:1 only from the list of choicesMichael Sterrett2013-11-112-5/+7
* Version bumpSebastien Fabbro2013-11-061-12/+5
* Version bumpSebastien Fabbro2013-11-063-2/+81
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-051-9/+21
* sci-mathematics/form: Version BUmp, #490390Justin Lecher2013-11-053-8/+95
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-311-16/+6
* Install emacs files (broken by out of source building, bug #489938)Sebastien Fabbro2013-10-312-3/+6
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-301-15/+15
* sci-mathematics/pspp: Fixing out-of-source doc buildJustin Lecher2013-10-302-9/+12
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-301-8/+20
* sci-mathematics/pspp: Fix underlinking and out-of-source buildJustin Lecher2013-10-306-14/+82
* Version bump, patches not needed anymore, fix bug #489526, thanks cujyaz@goog...Sebastien Fabbro2013-10-301-1/+13
* Version bump, patches not needed anymore, fix bug #489526, thanks cujyaz@goog...Sebastien Fabbro2013-10-302-1/+94
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-211-1/+3
* Bump to 2.0_alpha, not yet working properly, thus no keywordsPatrick Lauer2013-10-212-1/+48
* 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