From ea51cd255d5e144d881f26a005027587bd5fb38d Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Wed, 17 Jan 2018 13:22:34 -0600 Subject: [PATCH] gamin: fix debian-patches to use live URL Also apparently 0.1.10-4 is gone, so "fixed" to 0.1.10-4.1 --- pkgs/development/libraries/gamin/debian-patches.nix | 2 +- 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 f784b8ccfee..a8f334fb3c3 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 4faad71d44d..46d2420b21e 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