Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80
Parent Directory - automaton_1.11-8+dfsg1-1.debian.tar.gz 2022-04-11 05:17 2.7K automaton_1.11-8+dfsg1-1.dsc 2022-04-11 05:17 2.1K automaton_1.11-8+dfsg1.orig.tar.gz 2022-04-11 05:17 84K libautomaton-java_1.11-8+dfsg1-1_all.deb 2022-04-11 04:57 208K