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 | |
| parent | 9af5be98af98f52b9a0739c3d84202d3f7c7e999 (diff) | |
| download | nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar.gz nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar.bz2 nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar.lz nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar.xz nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.tar.zst nixlib-ea51cd255d5e144d881f26a005027587bd5fb38d.zip | |
gamin: fix debian-patches to use live URL
Also apparently 0.1.10-4 is gone, so "fixed" to 0.1.10-4.1
| -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 f784b8ccfee0..a8f334fb3c39 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 4faad71d44d0..46d2420b21ed 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 |