Index of libs-release/org/aya-prover/guest0x0-cubical

Name                            Last modified      Size

../
0.11/->                              -    -
0.12/                            28-Sep-2024 14:30    -
0.13/                            29-Sep-2024 20:34    -
maven-metadata.xml               26-May-2022 23:48  394 bytes
maven-metadata.xml.md5           26-May-2022 23:48  32 bytes
maven-metadata.xml.sha1          26-May-2022 23:48  40 bytes
maven-metadata.xml.sha256        26-May-2022 23:48  64 bytes
maven-metadata.xml.sha256.md5    26-May-2022 23:48  32 bytes
maven-metadata.xml.sha256.sha1   26-May-2022 23:48  40 bytes
maven-metadata.xml.sha512        26-May-2022 23:48  128 bytes
maven-metadata.xml.sha512.md5    26-May-2022 23:48  32 bytes
maven-metadata.xml.sha512.sha1   26-May-2022 23:48  40 bytes