4 Commits

Author	SHA1	Message	Date
Peter Simons	84cf3f3de7	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
John Wiegley	61e8fe50c2	Agda: add 2.4.0.1, 2.3.2.2 is still the default for now	2014-06-16 14:03:17 -07:00
John Wiegley	854b1fb9fb	Build AgdaStdlib before installing it	2014-05-05 19:51:05 -05:00
Peter Simons	c2fd001fd4	Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.	2014-05-04 12:17:35 +02:00