Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
Commit message (Expand)AuthorAgeFilesLines
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-041-5/+5
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-042-4/+8
* Drop old patchesMark Wright2015-01-291-6/+11
* Drop old patchesMark Wright2015-01-296-122/+7
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-291-16/+1
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-295-361/+6
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-141-6/+8
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-143-1/+135
* Bump agda to 2.4.0.1Mark Wright2014-07-021-4/+6
* Bump agda to 2.4.0.1Mark Wright2014-07-022-1/+130
* Drop old.Sergei Trofimovich2014-02-251-12/+5
* Drop old.Sergei Trofimovich2014-02-257-209/+19
* 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
* 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
* 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
* Drop old.Sergei Trofimovich2013-06-191-9/+7
* Drop old.Sergei Trofimovich2013-06-192-83/+4
* Loosen hashtables and quickcheck deps in agda 2.3.2-r5Mark Wright2013-04-021-4/+5
* Loosen hashtables and quickcheck deps in agda 2.3.2-r5Mark Wright2013-04-022-2/+108
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-4/+6
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-283-1/+171
* Bump agda to 2.3.2Mark Wright2012-11-181-4/+6
* Bump agda to 2.3.2Mark Wright2012-11-182-1/+100
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-181-2/+14
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-183-1/+127
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-121-29/+19
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-123-6/+9
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-021-6/+6
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-023-9/+13
* 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 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
* 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
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-231-7/+10
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-234-2/+108
* Make sure the agda library gets registered with ghc.Lennart Kolmodin2010-11-201-5/+5
* Make sure the agda library gets registered with ghc.Lennart Kolmodin2010-11-202-3/+10
* Version bump, ebuild originally from markusle (bug #303973). Also forced emac...Sebastien Fabbro2010-09-141-6/+10
* Version bump, ebuild originally from markusle (bug #303973). Also forced emac...Sebastien Fabbro2010-09-145-22/+118
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...Sebastien Fabbro2008-12-051-4/+13
* Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...Sebastien Fabbro2008-12-054-74/+29
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...Markus Dittrich2008-07-261-3/+4
* Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...Markus Dittrich2008-07-264-29/+91