jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
81,994 Commits 266 Branches 122 Tags 5.3 GiB
cf4a69e2ec
Commit Graph

22 Commits

Author SHA1 Message Date
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 512fbb280f72980e84230b72b631258df1755919.

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