Index of jcenter/edu/uiowa/cs/clc/kind2-java-api/0.3.1

Name                                         Last modified      Size

../
kind2-java-api-0.3.1-javadoc.jar              13-Dec-2022 17:24  263.78 KB
kind2-java-api-0.3.1-javadoc.jar.asc          13-Dec-2022 17:24  821 bytes
kind2-java-api-0.3.1-javadoc.jar.asc.sha512   13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1-javadoc.jar.sha512       13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1-sources.jar              13-Dec-2022 17:24  100.09 KB
kind2-java-api-0.3.1-sources.jar.asc          13-Dec-2022 17:24  821 bytes
kind2-java-api-0.3.1-sources.jar.asc.sha512   13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1-sources.jar.sha512       13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.jar                      13-Dec-2022 17:24  139.19 KB
kind2-java-api-0.3.1.jar.asc                  13-Dec-2022 17:24  821 bytes
kind2-java-api-0.3.1.jar.asc.sha512           13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.jar.sha512               13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.module                   13-Dec-2022 17:24  3.77 KB
kind2-java-api-0.3.1.module.asc               13-Dec-2022 17:24  821 bytes
kind2-java-api-0.3.1.module.asc.sha512        13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.module.sha512            13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.pom                      13-Dec-2022 17:24  1.93 KB
kind2-java-api-0.3.1.pom.asc                  13-Dec-2022 17:24  821 bytes
kind2-java-api-0.3.1.pom.asc.sha512           13-Dec-2022 17:24  128 bytes
kind2-java-api-0.3.1.pom.sha512               13-Dec-2022 17:24  128 bytes