Index of repo/info/hupel/multi-isabelle

Name                     Last modified      Size

../
0.1/                      11-Sep-2019 05:30    -
0.1.1/                    29-Nov-2020 01:56    -
0.1.2/                    22-Nov-2020 01:03    -
0.1.3/                    07-Jan-2022 11:53    -
0.1.4/                    31-Aug-2019 20:22    -
maven-metadata.xml        27-Apr-2019 13:29  453 bytes
maven-metadata.xml.md5    27-Apr-2019 13:29  32 bytes
maven-metadata.xml.sha1   27-Apr-2019 13:29  40 bytes

Artifactory/5.2.1 Server at maven.ceon.pl Port 443