diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2017-08-12 09:48:17 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2017-08-12 09:48:17 +0200 |
| commit | e207d1f04ad262f53e387e9e3956a2a9c421a66a (patch) | |
| tree | ba646dcdfeb34c3b1c5585e1efcba649052436f8 /pkgs/development/libraries/agda/pretty/default.nix | |
| parent | 66ce84b61976f533251a1bd6a5f032efc8741fa1 (diff) | |
| parent | 3be89a675814c3c2dd21fc3102c71960e896b97c (diff) | |
| download | nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar.gz nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar.bz2 nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar.lz nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar.xz nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.tar.zst nixlib-e207d1f04ad262f53e387e9e3956a2a9c421a66a.zip | |
Merge older staging
There's a security fix for curl.
Diffstat (limited to 'pkgs/development/libraries/agda/pretty/default.nix')
0 files changed, 0 insertions, 0 deletions