Processing control commands: > severity -1 important Bug #995333 [src:polyml] polyml: FTBFS on arm64: Segmentation fault ./polyimport polytemp.txt -I . < ./exportPoly.sml Severity set to 'important' from 'serious' > title -1 polyml: Intermittent FTBFS on arm64 Unknown command or malformed arguments to command.
-- 995333: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995333 Debian Bug Tracking System Contact [email protected] with problems
