repo/gentoo/historical.git - Gentoo ebuild repository HISTORICAL read-only tree

	Commit message (Expand)	Author	Age	Files	Lines
*	Loosen binary dep, patch for hashable 1.2	Mark Wright	2012-12-28	1	-0/+66
*	Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...	Mark Wright	2012-11-18	1	-0/+30
*	Fix agda 2.3.0.1 build with mtl-2.1	Mark Wright	2012-04-13	1	-0/+11
*	Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0	Mark Wright	2012-04-01	1	-0/+26
*	Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...	Mark Wright	2012-03-25	1	-0/+27
*	Bump agda to 2.3.0 bug #349460	Mark Wright	2012-01-23	1	-0/+27
*	Version bump, ebuild originally from markusle (bug #303973). Also forced emac...	Sebastien Fabbro	2010-09-14	2	-0/+37
*	Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...	Markus Dittrich	2008-07-26	1	-0/+55
*	Remove all old-style digests from the system and regen the Manifest files.	Robin H. Johnson	2008-01-31	2	-6/+0
*	add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...	Christian Faulhammer	2007-09-23	1	-0/+3
*	Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...	Alexandre Buisse	2007-03-18	2	-3/+3
*	Initial commit	Alexandre Buisse	2006-07-12	3	-0/+27