internalError
ftp://ftp.de.debian.org/debian/pool/main/d/ddd/ddd_3.3.12.orig.tar.gz
head ddd-3.3.12/ddd/bool.h:37:12: error: Internal error. VarId set for bool literal. [internalError]
ftp://ftp.de.debian.org/debian/pool/main/o/openal-soft/openal-soft_1.24.2.orig.tar.gz
head openal-soft-1.24.2/core/hrtf.cpp:427:39: error: Internal error. AST cyclic dependency. [internalError]
ftp://ftp.de.debian.org/debian/pool/main/o/opensp/opensp_1.5.2.orig.tar.gz
head opensp-1.5.2/include/Boolean.h:35:11: error: Internal error. VarId set for bool literal. [internalError]
ftp://ftp.de.debian.org/debian/pool/main/q/qepcad/qepcad_1.74+ds.orig.tar.xz
head qesource/extensions/rend/process_ps/remove_cells.cc:21:22: error: Internal error. VarId set for bool literal. [internalError]
ftp://ftp.de.debian.org/debian/pool/main/z/z3/z3_4.13.3.orig.tar.gz
head z3-z3-4.13.3/src/api/api_model.cpp:171:30: error: Internal error. VarId set for bool literal. [internalError]