Source: polyml Version: 5.7.1-4 Severity: serious Tags: ftbfs sid bookworm Justification: fails to build from source (but built successfully in the past) X-Debbugs-Cc: sramac...@debian.org
| Use: basis/MONO_VECTOR_SLICE.sml | Use: basis/MONO_ARRAY.sml | Use: basis/MONO_ARRAY_SLICE.sml | Use: basis/StringSignatures.sml | Use: basis/String.sml | /bin/bash: line 1: 3933030 Segmentation fault ./polyimport polytemp.txt -I . < ./exportPoly.sml | make[3]: *** [Makefile:1174: polyexport.o] Error 139 See https://buildd.debian.org/status/fetch.php?pkg=polyml&arch=arm64&ver=5.7.1-4%2Bb1&stamp=1632490442&raw=0 Cheers -- Sebastian Ramacher
