Package: ftp.debian.org Severity: normal X-Debbugs-Cc: [email protected], [email protected], [email protected], [email protected] Control: affects -1 + src:maude User: [email protected] Usertags: remove
Hi, maude FTBFS on 32-bit archs and the temporary fix will explode at some point due to Y2038. This is due to gmp not having proper support for 32-bits. As was a concensus on -med, there's some agreement to remove 32-bit support for end-user applications since no-one uses med packages on these archs[1]. The maintainer/uploader of maude also agreed to the removal on 32-bit archs for this package in[2] [1]: https://lists.debian.org/debian-med/2024/03/msg00032.html [2]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067957#46
