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