x86_64: lib4ti2common.so.0 lib4ti2gmp.so.0 lib4ti2int32.so.0 lib4ti2int64.so.0 lib4ti2util.so.0 libzsolve.so.0
