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

Name                       Last modified      Size

../
1.0.7/                      12-Apr-2025 15:45    -
1.0.8/                      28-Aug-2024 03:04    -
1.0.9/                      30-Nov-2024 01:53    -
1.1.0/                      06-Aug-2025 21:27    -
1.1.3/                      28-Oct-2024 14:00    -
1.1.4/                      11-Sep-2024 13:46    -
1.1.5/->                        -    -
1.2.0/                      14-Oct-2024 13:31    -
1.2.1/                      09-Nov-2024 21:04    -
1.3.0/                      09-Jan-2025 15:46    -
1.4.0/->                        -    -
1.4.1/->                        -    -
1.4.2/->                        -    -
maven-metadata.xml          30-Jun-2025 16:12  699 bytes
maven-metadata.xml.sha512   30-Jun-2025 16:12  128 bytes