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