laMudri
|
072ce88eb9
|
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)
|
2016-05-21 17:27:31 +01:00 |
|
Domen Kožar
|
68a8d66885
|
categories: mark as broken cc #9471
(cherry picked from commit 4ed27ba31905cb1e5a7081c9682df8cc7fb99444)
Signed-off-by: Domen Kožar <domen@dev.si>
|
2015-09-04 10:43:45 +02:00 |
|
Mateusz Kowalczyk
|
7c09d9d291
|
agda-stdlib: update to 2.4.2.3 branch
Required to work with the new Agda we have
|
2015-05-31 13:18:39 +01:00 |
|
John Ericson
|
52a6589559
|
agda: the Iowa stdlib seems to be behind a private SVN now
|
2015-05-20 16:01:44 +00:00 |
|
Nikolay Amiantov
|
25618c3670
|
agda: migrate to haskell-ng, update and cleanup
Resolves https://github.com/NixOS/nixpkgs/pull/7172.
|
2015-04-06 21:24:33 +02:00 |
|
Domen Kožar
|
9b7b2ce8eb
|
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
This reverts commit 512fbb280f .
See #5368
|
2015-01-08 10:26:49 +01:00 |
|
Domen Kožar
|
512fbb280f
|
Introduce patchShebangsPhase ran in preConfigurePhases
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d)
Signed-off-by: Domen Kožar <domen@dev.si>
|
2015-01-02 02:58:32 +01:00 |
|
Mateusz Kowalczyk
|
60c80fd312
|
agda-pretty: update darcs revision
Fixes the package for new Agda version
|
2014-12-03 17:13:53 +00:00 |
|
Mateusz Kowalczyk
|
d466b40bb3
|
agda-TotalParserCombinators: update darcs revision
Fixes the package for new Agda version
|
2014-12-03 17:13:48 +00:00 |
|
Mateusz Kowalczyk
|
12cb1dcb18
|
agda-TotalParserCombinators: mark as broken
Due to 0.9 stdlib update, author notified.
|
2014-11-20 21:16:33 +00:00 |
|
Mateusz Kowalczyk
|
997b4bff29
|
agda-pretty: mark as broken
Broken by updating the stdlib to 0.9. For now I let the author know.
|
2014-11-20 09:04:54 +00:00 |
|
Mateusz Kowalczyk
|
73db2dab55
|
agda-iowa-stdlib: update to r18734
Now works with Agda 2.4.2.1
|
2014-11-18 07:58:50 +00:00 |
|
Mateusz Kowalczyk
|
9ee5b8d3fc
|
agda-iowa-stdlib: mark as broken
The recent update of Agda breaks this, including the most recent SVN
checkout. I notified the author but marking as broken until a fix is
committed.
|
2014-11-17 17:13:01 +00:00 |
|
Mateusz Kowalczyk
|
2e51b2e18a
|
agda-base: new package
|
2014-10-02 09:49:42 +01:00 |
|
Mateusz Kowalczyk
|
714dc47696
|
agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
|
2014-09-28 02:21:21 +01:00 |
|
Mateusz Kowalczyk
|
d8f2c32bcf
|
agda-aaron-stump-stdlib: new package
|
2014-09-27 04:25:26 +01:00 |
|
Mateusz Kowalczyk
|
d409ae809a
|
agda-pretty: new package
|
2014-09-27 03:30:30 +01:00 |
|
Mateusz Kowalczyk
|
4ed56b013f
|
agda-TotalParserCombinators: new package
|
2014-09-27 03:23:22 +01:00 |
|
Mateusz Kowalczyk
|
4d2a3933a4
|
agda-prelude: new package
|
2014-09-27 02:35:54 +01:00 |
|
Mateusz Kowalczyk
|
87eb8fcf83
|
agda-categories: add package
|
2014-09-16 02:47:13 +01:00 |
|
Mateusz Kowalczyk
|
37900c35c3
|
agda: add bitvector
|
2014-09-11 20:35:56 +01:00 |
|
Mateusz Kowalczyk
|
270c7f0622
|
agda-sheaves: use lib.licenses
|
2014-09-11 19:51:24 +01:00 |
|
Mateusz Kowalczyk
|
d084f40c01
|
agda: add Agda-Sheaves
|
2014-09-11 18:49:28 +01:00 |
|