../ proof-specs-0.1.7.jar 2022-11-12 21:01 8806 proof-specs-0.1.7.jar.asc 2022-11-12 21:01 488 proof-specs-0.1.7.jar.asc.md5 2022-11-12 21:01 32 proof-specs-0.1.7.jar.asc.sha1 2022-11-12 21:01 40 proof-specs-0.1.7.jar.md5 2022-11-12 21:01 32 proof-specs-0.1.7.jar.sha1 2022-11-12 21:01 40 proof-specs-0.1.7.pom 2022-11-12 21:01 2826 proof-specs-0.1.7.pom.asc 2022-11-12 21:01 488 proof-specs-0.1.7.pom.asc.md5 2022-11-12 21:01 32 proof-specs-0.1.7.pom.asc.sha1 2022-11-12 21:01 40 proof-specs-0.1.7.pom.md5 2022-11-12 21:01 32 proof-specs-0.1.7.pom.sha1 2022-11-12 21:01 40