../ carl-17.08-1-x86_64.pkg.tar.xz 08-Sep-2017 09:03 555076 prismmodelchecker-git-r3365.a8999396-1-x86_64.p..> 08-Sep-2017 09:03 8307948 stormchecker-1.1.0-1-x86_64.pkg.tar.xz 08-Sep-2017 09:03 6638228 verification.db 08-Sep-2017 09:03 1332 verification.db.tar.xz 08-Sep-2017 09:03 1332 verification.files 08-Sep-2017 09:03 4204 verification.files.tar.xz 08-Sep-2017 09:03 4204 z3-4.5.0-4-x86_64.pkg.tar.xz 08-Sep-2017 09:03 11463912