diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-02-07 20:16:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-07 20:16:45 +0100 |
commit | d74a7506f0a1a698f5a66c2878586a08c333caee (patch) | |
tree | f6f0a2a8ffbc8a7d609c407567a37afafceff98a /pkgs/development/idris-modules | |
parent | 93aa83deb4923a2362814d952495aeab3ec49288 (diff) | |
parent | ac4ffde5ab88c62b01c6e5c0bfc010e861b38f93 (diff) | |
download | nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar.gz nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar.bz2 nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar.lz nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar.xz nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.tar.zst nixpkgs-d74a7506f0a1a698f5a66c2878586a08c333caee.zip |
Merge pull request #34577 from matthewbauer/patch-8
notmuch: fix version wildcard
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions