Index of /de/unruh/scala-isabelle_2.13

Name Last Modified Size Description
Parent Directory
0.1.0    
0.4.1    
0.4.2    
0.4.3-RC1    
0.4.3-RC2    
0.4.3    
0.4.5    
maven-metadata.xml Fri Sep 11 03:47:14 Z 2026 918
maven-metadata.xml.md5 Fri Sep 11 03:47:14 Z 2026 32
maven-metadata.xml.sha1 Fri Sep 11 03:47:15 Z 2026 40
maven-metadata.xml.sha256 Fri Sep 11 03:47:14 Z 2026 64
maven-metadata.xml.sha512 Fri Sep 11 03:47:14 Z 2026 128