Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - quint_2.1.0.tar.gz 2020-06-16 01:50 90K quint_2.0.1.tar.gz 2019-07-12 10:42 78K quint_2.0.0.tar.gz 2018-09-28 17:10 59K quint_1.2.2.tar.gz 2018-08-22 15:10 44K quint_1.2.1.tar.gz 2016-12-23 17:37 44K quint_1.2.0.tar.gz 2016-05-29 15:05 44K quint_1.0.tar.gz 2013-11-08 21:30 29K