Index of /arch/verification/


../
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