summaryrefslogtreecommitdiffstats
path: root/debian/linux-headers-rt-armmp.maintscript
diff options
context:
space:
mode:
Diffstat (limited to 'debian/linux-headers-rt-armmp.maintscript')
-rw-r--r--debian/linux-headers-rt-armmp.maintscript2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-rt-armmp.maintscript b/debian/linux-headers-rt-armmp.maintscript
index 6d0153a6d..094781c06 100644
--- a/debian/linux-headers-rt-armmp.maintscript
+++ b/debian/linux-headers-rt-armmp.maintscript
@@ -1 +1 @@
-dir_to_symlink /usr/share/doc/linux-headers-rt-armmp linux-headers-6.1.0-18-rt-armmp 5.7~rc5-1~exp1 linux-headers-rt-armmp
+dir_to_symlink /usr/share/doc/linux-headers-rt-armmp linux-headers-6.1.0-18progress7u1-rt-armmp 5.7~rc5-1~exp1 linux-headers-rt-armmp