../ ProvToolbox-Tutorial4-0.9.5-sources.jar 2020-08-03 19:01 6327 ProvToolbox-Tutorial4-0.9.5-sources.jar.asc 2020-08-03 19:01 488 ProvToolbox-Tutorial4-0.9.5-sources.jar.md5 2020-08-03 19:01 32 ProvToolbox-Tutorial4-0.9.5-sources.jar.sha1 2020-08-03 19:01 40 ProvToolbox-Tutorial4-0.9.5-src.zip 2020-08-03 19:01 5754 ProvToolbox-Tutorial4-0.9.5-src.zip.asc 2020-08-03 19:01 484 ProvToolbox-Tutorial4-0.9.5-src.zip.md5 2020-08-03 19:01 32 ProvToolbox-Tutorial4-0.9.5-src.zip.sha1 2020-08-03 19:01 40 ProvToolbox-Tutorial4-0.9.5.jar 2020-08-03 19:01 6364 ProvToolbox-Tutorial4-0.9.5.jar.asc 2020-08-03 19:01 488 ProvToolbox-Tutorial4-0.9.5.jar.md5 2020-08-03 19:01 32 ProvToolbox-Tutorial4-0.9.5.jar.sha1 2020-08-03 19:01 40 ProvToolbox-Tutorial4-0.9.5.pom 2020-08-03 19:01 3406 ProvToolbox-Tutorial4-0.9.5.pom.asc 2020-08-03 19:01 488 ProvToolbox-Tutorial4-0.9.5.pom.md5 2020-08-03 19:01 32 ProvToolbox-Tutorial4-0.9.5.pom.sha1 2020-08-03 19:01 40