Adding debian version 6.7.12-1.debian/6.7.12-1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 0 insertions, 31 deletions

diff --git a/debian/linux-image-6.7.9-mips64r6el.postrm b/debian/linux-image-6.7.9-mips64r6el.postrm
deleted file mode 100644
index 5c004ccbff..0000000000
--- a/debian/linux-image-6.7.9-mips64r6el.postrm
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh -e
-
-version=6.7.9-mips64r6el
-image_path=/boot/vmlinuz-$version
-
-rm -f /lib/modules/$version/.fresh-install
-
-if [ "$1" != upgrade ] && command -v linux-update-symlinks >/dev/null; then
-    linux-update-symlinks remove $version $image_path
-fi
-
-if [ -d /etc/kernel/postrm.d ]; then
-    DEB_MAINT_PARAMS="$*" run-parts --report --exit-on-error --arg=$version \
-	      --arg=$image_path /etc/kernel/postrm.d
-fi
-
-if [ "$1" = purge ]; then
-    for extra_file in modules.dep modules.isapnpmap modules.pcimap \
-                      modules.usbmap modules.parportmap \
-                      modules.generic_string modules.ieee1394map \
-                      modules.ieee1394map modules.pnpbiosmap \
-                      modules.alias modules.ccwmap modules.inputmap \
-                      modules.symbols modules.ofmap \
-                      modules.seriomap modules.\*.bin \
-		      modules.softdep modules.devname; do
-	eval rm -f /lib/modules/$version/$extra_file
-    done
-    rmdir /lib/modules/$version || true
-fi
-
-exit 0