diff options
author | Will Dietz <w@wdtz.org> | 2018-01-17 13:22:34 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-01-17 13:22:34 -0600 |
commit | ea51cd255d5e144d881f26a005027587bd5fb38d (patch) | |
tree | 961dd5bb629201f4492327b985e733e0eb21cd5e /pkgs/development/libraries/gamin | |
parent | 9af5be98af98f52b9a0739c3d84202d3f7c7e999 (diff) |
gamin: fix debian-patches to use live URL
Also apparently 0.1.10-4 is gone, so "fixed" to 0.1.10-4.1
Diffstat (limited to 'pkgs/development/libraries/gamin')
-rw-r--r-- | pkgs/development/libraries/gamin/debian-patches.nix | 2 | ||||
-rw-r--r-- | pkgs/development/libraries/gamin/debian-patches.txt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gamin/debian-patches.nix b/pkgs/development/libraries/gamin/debian-patches.nix index f784b8ccfee0a..a8f334fb3c394 100644 --- a/pkgs/development/libraries/gamin/debian-patches.nix +++ b/pkgs/development/libraries/gamin/debian-patches.nix @@ -1,6 +1,6 @@ # Generated by debian-patches.sh from debian-patches.txt let - prefix = "http://patch-tracker.debian.org/patch/series/dl/gamin/0.1.10-4.1"; + prefix = "https://sources.debian.org/data/main/g/gamin/0.1.10-4.1/debian/patches"; in [ { diff --git a/pkgs/development/libraries/gamin/debian-patches.txt b/pkgs/development/libraries/gamin/debian-patches.txt index 4faad71d44d03..46d2420b21ede 100644 --- a/pkgs/development/libraries/gamin/debian-patches.txt +++ b/pkgs/development/libraries/gamin/debian-patches.txt @@ -1,2 +1,2 @@ -gamin/0.1.10-4 +gamin/0.1.10-4.1 17_deprecated_const_return.patch |