archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	Bump agda to 2.4.2.3-r1	Mark Wright	2015-08-02	1	-1/+6
*	Drop old.	Sergei Trofimovich	2015-08-02	1	-1/+7
*	Loosen cpphs dep in agda-2.4.2.2-r1	Mark Wright	2015-04-04	1	-1/+4
*	Drop old patches	Mark Wright	2015-01-29	1	-1/+7
*	Drop old with now unsatisfied dep on dev-haskell/hashtables	Patrick Lauer	2015-01-29	1	-2/+6
*	Bump agda to 2.4.2.2-r1	Mark Wright	2014-12-14	1	-1/+7
*	Bump agda to 2.4.0.1	Mark Wright	2014-07-02	1	-1/+6
*	Drop old.	Sergei Trofimovich	2014-02-25	1	-2/+8
*	Bump agda to 2.3.2.2-r1	Mark Wright	2013-12-10	1	-1/+6
*	Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...	Mark Wright	2013-10-19	1	-1/+6
*	Patch agda 2.3.2.1 for haskell-src-exts 1.14	Mark Wright	2013-09-13	1	-1/+7
*	Drop old.	Sergei Trofimovich	2013-06-19	1	-1/+4
*	Loosen hashtables and quickcheck deps in agda 2.3.2-r5	Mark Wright	2013-04-02	1	-2/+7
*	Loosen binary dep, patch for hashable 1.2	Mark Wright	2012-12-28	1	-1/+7
*	Bump agda to 2.3.2	Mark Wright	2012-11-18	1	-1/+6
*	Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...	Mark Wright	2012-11-18	1	-1/+8
*	move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage	Alexander Vershilov	2012-09-12	1	-2/+5
*	Add virtual/emacs and app-emacs/haskell-mode deps	Mark Wright	2012-06-02	1	-1/+5
*	agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps	Mark Wright	2012-04-13	1	-1/+5
*	Fix agda 2.3.0.1 build with mtl-2.1	Mark Wright	2012-04-13	1	-1/+5
*	Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0	Mark Wright	2012-04-01	1	-1/+5
*	Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...	Mark Wright	2012-03-25	1	-1/+8
*	Bump agda to 2.3.0 bug #349460	Mark Wright	2012-01-23	1	-2/+8
*	Make sure the agda library gets registered with ghc.	Lennart Kolmodin	2010-11-20	1	-1/+8
*	Version bump, ebuild originally from markusle (bug #303973). Also forced emac...	Sebastien Fabbro	2010-09-14	1	-2/+10
*	Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...	Sebastien Fabbro	2008-12-05	1	-1/+8
*	Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...	Markus Dittrich	2008-07-26	1	-2/+8
*	Drop virtual/ghc in favour of dev-lang/ghc	Duncan Coutts	2007-10-31	1	-1/+5
*	add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...	Christian Faulhammer	2007-09-23	1	-1/+8
*	Reassigning to sci from math-proof.	Christian Heim	2007-07-31	1	-1/+4
*	Added haskell herd and removed myself as maintainer.	Alexandre Buisse	2007-03-25	1	-1/+4
*	Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...	Alexandre Buisse	2007-03-18	1	-2/+9
*	Initial commit	Alexandre Buisse	2006-07-12	1	-0/+12