nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 18:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
205,719 Commits 173 Branches 125 Tags 9.1 GiB
401e101686
Commit Graph

46 Commits

Author SHA1 Message Date
Mateusz Kowalczyk
1451a52a38 Remove myself (fuuzetsu) from maintainer lists 
I haven't been doing any maintenance for a long time now and not only
do I get notified, it also creates a fake impression that all these
packages had at least one maintainer when in practice they had none.
 2019-12-05 16:29:48 +09:00
danbst
fcf752c8b3 agdaPrelude: 0dca24a81 -> eacc961c2 
https://hydra.nixos.org/build/98865987
 2019-08-20 17:42:40 +03:00
danbst
d215144cc9 agdaIowaStdlib: 1.4.0 -> 1.5.0 
https://hydra.nixos.org/build/98831905
 2019-08-20 17:32:20 +03:00
R. RyanTM
b1af75fcb4 AgdaStdlib: 1.0.1 -> 1.1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
 2019-08-17 12:04:13 -07:00
Alex Rice
8edeb925d2 adga-stdlib: 1.0 -> 1.0.1 2019-07-21 08:32:54 +02:00
Yurii Rashkovskii
7ad178d8d9
AgdaStdlib: 0.17 -> 1.0 2019-04-18 16:12:54 +07:00
R. RyanTM
0134db94d9 AgdaStdlib: 0.16.1 -> 0.17 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
 2018-12-16 11:14:28 -08:00
Matthew Pickering
561fcf4c82 agdaIowaStdlib: 18734 -> 1.4.0 2018-10-14 19:17:01 +00:00
R. RyanTM
7c5bc4fb92 AgdaStdlib: 0.16 -> 0.16.1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
 2018-09-25 08:14:48 -07:00
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 ce4f6c215f, reversing
changes made to 7817d0901d.

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 4ed27ba319)
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