From 7b487682a6ae248979d02cdebac93fc215e09122 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 30 May 2024 05:36:33 +0200 Subject: Regenerating debian files. Signed-off-by: Daniel Baumann --- debian/linux-headers-rt-armmp.maintscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/linux-headers-rt-armmp.maintscript') diff --git a/debian/linux-headers-rt-armmp.maintscript b/debian/linux-headers-rt-armmp.maintscript index b5ed92aa17..040bcb505d 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.8.11-rt-armmp 5.7~rc5-1~exp1 linux-headers-rt-armmp +dir_to_symlink /usr/share/doc/linux-headers-rt-armmp linux-headers-6.8.11-progress7.99-rt-armmp 5.7~rc5-1~exp1 linux-headers-rt-armmp -- cgit v1.2.3