../ proof-specs-0.1.5.jar 2022-11-02 09:47 8173 proof-specs-0.1.5.jar.asc 2022-11-02 09:47 488 proof-specs-0.1.5.jar.asc.md5 2022-11-02 09:47 32 proof-specs-0.1.5.jar.asc.sha1 2022-11-02 09:47 40 proof-specs-0.1.5.jar.md5 2022-11-02 09:47 32 proof-specs-0.1.5.jar.sha1 2022-11-02 09:47 40 proof-specs-0.1.5.pom 2022-11-02 09:47 2826 proof-specs-0.1.5.pom.asc 2022-11-02 09:47 488 proof-specs-0.1.5.pom.asc.md5 2022-11-02 09:47 32 proof-specs-0.1.5.pom.asc.sha1 2022-11-02 09:47 40 proof-specs-0.1.5.pom.md5 2022-11-02 09:47 32 proof-specs-0.1.5.pom.sha1 2022-11-02 09:47 40