Index of maven-proxy/de/hhu/stups/tlatools

Name                       Last modified      Size

../
1.0.0/                      01-Feb-2025 04:56    -
1.0.2/                      17-Dec-2024 11:39    -
1.1.0/->                        -    -
maven-metadata.xml          29-Oct-2024 01:03  389 bytes
maven-metadata.xml.sha512   29-Oct-2024 01:03  128 bytes

Artifactory/6.12.1 Server at artifactory.dxbx.ru Port 80