../ ProvToolbox-Tutorial5-0.8.0-javadoc.jar 2019-07-19 20:32 459434 ProvToolbox-Tutorial5-0.8.0-javadoc.jar.asc 2019-07-19 20:32 455 ProvToolbox-Tutorial5-0.8.0-javadoc.jar.md5 2019-07-19 20:32 32 ProvToolbox-Tutorial5-0.8.0-javadoc.jar.sha1 2019-07-19 20:32 40 ProvToolbox-Tutorial5-0.8.0-sources.jar 2019-07-19 20:32 17700 ProvToolbox-Tutorial5-0.8.0-sources.jar.asc 2019-07-19 20:32 455 ProvToolbox-Tutorial5-0.8.0-sources.jar.md5 2019-07-19 20:32 32 ProvToolbox-Tutorial5-0.8.0-sources.jar.sha1 2019-07-19 20:32 40 ProvToolbox-Tutorial5-0.8.0-src.zip 2019-07-19 20:32 17815 ProvToolbox-Tutorial5-0.8.0-src.zip.asc 2019-07-19 20:32 455 ProvToolbox-Tutorial5-0.8.0-src.zip.md5 2019-07-19 20:32 32 ProvToolbox-Tutorial5-0.8.0-src.zip.sha1 2019-07-19 20:32 40 ProvToolbox-Tutorial5-0.8.0.jar 2019-07-19 20:32 28442 ProvToolbox-Tutorial5-0.8.0.jar.asc 2019-07-19 20:32 455 ProvToolbox-Tutorial5-0.8.0.jar.md5 2019-07-19 20:32 32 ProvToolbox-Tutorial5-0.8.0.jar.sha1 2019-07-19 20:32 40 ProvToolbox-Tutorial5-0.8.0.pom 2019-07-19 20:32 4245 ProvToolbox-Tutorial5-0.8.0.pom.asc 2019-07-19 20:32 455 ProvToolbox-Tutorial5-0.8.0.pom.md5 2019-07-19 20:32 32 ProvToolbox-Tutorial5-0.8.0.pom.sha1 2019-07-19 20:32 40