mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 15:15:36 +00:00
Code Issues Wiki Activity
155664 commits 191 branches 125 tags 8.1 GiB
Commit graph

6 commits

Author SHA1 Message Date
xeji bc17a66732 pretty: mark as broken 2018-04-12 23:04:03 +02: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
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