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

	Commit message (Expand)	Author	Age	Files	Lines
*	Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...	Mark Wright	2013-10-19	3	-9/+21
*	Patch agda 2.3.2.1 for haskell-src-exts 1.14	Mark Wright	2013-09-13	4	-5/+151
*	Drop old.	Sergei Trofimovich	2013-06-19	3	-92/+11
*	Loosen hashtables and quickcheck deps in agda 2.3.2-r5	Mark Wright	2013-04-02	3	-6/+113
*	Loosen binary dep, patch for hashable 1.2	Mark Wright	2012-12-28	4	-5/+177
*	Bump agda to 2.3.2	Mark Wright	2012-11-18	3	-5/+106
*	Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...	Mark Wright	2012-11-18	4	-3/+141
*	move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage	Alexander Vershilov	2012-09-12	4	-35/+28
*	Add virtual/emacs and app-emacs/haskell-mode deps	Mark Wright	2012-06-02	4	-15/+19
*	agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps	Mark Wright	2012-04-13	4	-8/+34
*	Fix agda 2.3.0.1 build with mtl-2.1	Mark Wright	2012-04-13	4	-15/+23
*	Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0	Mark Wright	2012-04-01	4	-7/+39
*	Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...	Mark Wright	2012-03-25	6	-22/+135
*	Bump agda to 2.3.0 bug #349460	Mark Wright	2012-01-23	5	-9/+118
*	Make sure the agda library gets registered with ghc.	Lennart Kolmodin	2010-11-20	3	-8/+15
*	Version bump, ebuild originally from markusle (bug #303973). Also forced emac...	Sebastien Fabbro	2010-09-14	6	-28/+128
*	Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...	Sebastien Fabbro	2008-12-05	5	-78/+42
*	Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...	Markus Dittrich	2008-07-26	5	-32/+95
*	Remove all old-style digests from the system and regen the Manifest files.	Robin H. Johnson	2008-01-31	3	-40/+0
*	Drop virtual/ghc in favour of dev-lang/ghc	Duncan Coutts	2007-10-31	4	-20/+24
*	add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...	Christian Faulhammer	2007-09-23	4	-9/+86
*	Reassigning to sci from math-proof.	Christian Heim	2007-07-31	3	-10/+23
*	whitespace	Michael Sterrett	2007-07-13	1	-14/+4
*	whitespace	Michael Sterrett	2007-07-13	1	-2/+1
*	Added haskell herd and removed myself as maintainer.	Alexandre Buisse	2007-03-25	3	-16/+16
*	Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...	Alexandre Buisse	2007-03-18	5	-38/+44
*	Initial commit	Alexandre Buisse	2006-07-12	7	-0/+142