minisat-debian
maven
maven-cprover-api
gcc12
no-hardcoded-ptrwidth
non-portable-tests
