jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
148,975 Commits 266 Branches 122 Tags 5.3 GiB
7262b88b0a
Commit Graph

37 Commits

Author SHA1 Message Date
James Wood
9934f0bb51 AgdaStdlib: 0.15 -> 0.16 (#44550) 2018-08-06 18:39:11 +02:00
Matthew Bauer
fb1852f424 agda-stdlib: broken on darwin 2018-06-23 17:50:00 -04:00
xeji
bc17a66732 pretty: mark as broken 2018-04-12 23:04:03 +02:00
Ryan Mulligan
7770e378a1 AgdaStdlib: 0.14 -> 0.15 
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15
- directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb
 2018-03-19 21:03:33 -07:00
Unai Zalakain
2ba02c57e8
AgdaStdlib: 0.13 -> 0.14 2017-09-26 20:35:11 +01:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
laMudri
5683311b7c AgdaStdlib: v0.12 -> v0.13 2016-12-24 21:53:28 +00:00
laMudri
28f4f15777 Agda: marked some old packages as broken 2016-06-07 11:19:12 +01:00
laMudri
949ede3d2f agda-prelude: 2014-09-27 -> 2016-04-18 2016-06-07 11:19:12 +01:00
laMudri
2e712b501c agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) 2016-06-07 11:17:37 +01:00
Tuomas Tynkkynen
bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Joachim Fasting
6a2244e8f4
Revert "Merge pull request #15595 from laMudri/agda-stdlib" 
This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing
changes made to 7817d0901d44ba97e5862e94840098e2b97d8631.

See 68e1419cb8 (r64175487)
 2016-05-23 09:07:02 +02:00
laMudri
6343cf8ae7 Agda: marked some old packages as broken 2016-05-21 23:24:49 +01:00
laMudri
92b843f9a5 agda-prelude: 2014-09-27 -> 2016-04-18 2016-05-21 17:27:31 +01:00
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 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