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 |
|