Index of repo/de/hhu/stups/tla2bAST

Name                Last modified      Size

../
1.0.7/               12-Sep-2015 13:54    -
1.0.8/               29-Feb-2016 03:15    -
1.0.9/               27-Jul-2017 07:51    -
1.1.0/               24-Sep-2018 14:44    -
1.1.3/               29-Feb-2020 16:15    -
maven-metadata.xml   29-Feb-2020 10:59  451 bytes

Artifactory/6.18.1 Server at repo.jfrog.org Port 443