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

	Commit message (Expand)	Author	Age	Files	Lines
*	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