diff options
| -rw-r--r-- | debian/patches/progress-linux/0002-debian-files.patch | 9 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0002-debian-files.patch b/debian/patches/progress-linux/0002-debian-files.patch new file mode 100644 index 0000000..87e3be9 --- /dev/null +++ b/debian/patches/progress-linux/0002-debian-files.patch @@ -0,0 +1,9 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Regenerating debian files. + +diff -Naurp dpkg.orig/.dist-version dpkg/.dist-version +--- dpkg.orig/.dist-version ++++ dpkg/.dist-version +@@ -1 +1 @@ +-1.20.13 ++1.20.13-0progress6u1 diff --git a/debian/patches/series b/debian/patches/series index 39ab66d..1b15e3d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ progress-linux/0001-overlayfs.patch +progress-linux/0002-debian-files.patch |