3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

5 commits

Author SHA1 Message Date
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
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
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 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 d409ae809a agda-pretty: new package 2014-09-27 03:30:30 +01:00