summary refs log tree commit diff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
authorDaiderd Jordan <daiderd@gmail.com>2018-02-07 20:16:45 +0100
committerGitHub <noreply@github.com>2018-02-07 20:16:45 +0100
commitd74a7506f0a1a698f5a66c2878586a08c333caee (patch)
treef6f0a2a8ffbc8a7d609c407567a37afafceff98a /pkgs/development/idris-modules
parent93aa83deb4923a2362814d952495aeab3ec49288 (diff)
parentac4ffde5ab88c62b01c6e5c0bfc010e861b38f93 (diff)
downloadnixpkgs-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