PackageVersionFull logSupposed error message
minisat21:2.2.1-5n/a./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal]