Commit graph

21 commits

Author SHA1 Message Date
Mateusz Kowalczyk 691b2ac0ad haskell-Agda: update to 2.4.2.2 2014-12-10 09:48:11 +00:00
Mateusz Kowalczyk 9e79811eb6 AgdaStdlib: update to 0.9
This should have really been updated with Agda itself.
2014-11-17 16:48:10 +00:00
Peter Simons 99312f4a51 haskell-Agda: update to version 2.4.2.1 2014-11-14 14:13:40 +01:00
Pascal Wittmann 8df0e0b151 Fixed many descriptions 2014-11-11 14:36:34 +01:00
Peter Simons aa91690dad agda: jailbreak to fix build with recent versions of 'text' 2014-11-01 21:08:03 +01:00
Mateusz Kowalczyk 0732523c7d agda: add fuuzetsu to maintainers 2014-10-15 01:02:03 +01:00
Mateusz Kowalczyk d50c0e75b8 agda: fix license 2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk ee31679bad agda-stdlib: make expression nicer, fix license 2014-09-11 20:35:56 +01:00
Domen Kožar f9ba413b55 fix eval 2014-09-05 00:06:11 +02:00
Mateusz Kowalczyk 61c17e326f Use agda builder for stdlib. mv to all-packages 2014-09-01 01:38:01 +01:00
Mateusz Kowalczyk b1e388cefb agda-stdlib: update to 0.8.1
This is necessary after the Agda-2.4.2 bump
2014-08-31 19:26:05 +01:00
Peter Simons 6ea21ad737 haskell-Agda: update to version 2.4.2
I had to disable the Haddock phase because of lots of errors:

  http://hydra.cryp.to/build/181564/nixlog/1/raw
2014-08-31 18:17:01 +02:00
Peter Simons 84cf3f3de7 Agda: drop obsolete version 2.3.2.2 2014-07-31 13:58:36 +02:00
Peter Simons 689b322e10 Agda: update to version 2.4.0.2 2014-07-31 13:57:45 +02:00
John Wiegley 324eb38313 haskell-agda-stdlib: properly reference ghc and runhaskell 2014-07-12 04:43:31 -05:00
Mathijs Kwik 9ceeb77bd3 agda-stdlib: no need to jailbreak anymore 2014-06-19 13:38:54 +02:00
Mathijs Kwik 3fd519822f agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)
Conflicts:
	pkgs/development/compilers/agda/stdlib-0.8.nix
	pkgs/top-level/haskell-packages.nix
2014-06-17 08:25:44 +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
Peter Simons 64d662e056 Agda: move compiler and standard library into a common directory
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00