gamin: fix debian-patches to use live URL

Also apparently 0.1.10-4 is gone, so "fixed" to 0.1.10-4.1
2018-01-17 13:22:34 -06:00 · 2018-01-17 13:22:34 -06:00 · ea51cd255d
commit ea51cd255d
parent 9af5be98af
2 changed files with 2 additions and 2 deletions
--- 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
 [
  {
--- 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