Hallo Thomas, yes, we use "alien" to make it and it works. But ist a manual task we have to watch for, not an magically Repository ;-)
Reiner -----Ursprüngliche Nachricht----- Von: Thomas Lange <la...@cs.uni-koeln.de> Gesendet: Dienstag, 28. November 2023 14:16 An: 1029...@bugs.debian.org; 1029185-submit...@bugs.debian.org Betreff: Bug#1029185: moreinfo Hi Reiner, did you tried to convert the .deb to .rpm? Does it work for you? -- Thomas