Sorry, I failed to see that owner of one of these PPAs has already commented on this bug. Can this package be synced? I find it strange that 5.17.1-1.ppa2 builds in PPA (and apparently 5.13.0-3ubuntu1 builds in Ubuntu archive), but none of them, and neither Debian's 5.17.1-1 builds in my karmic pbuilder (gcl segfaults).
-- Please merge maxima 5.17.1-1 (universe) from Debian unstable (main). https://bugs.launchpad.net/bugs/296643 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
