Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
rminizinc_0.0.1.tar.gz 2020-12-14 10:00 405K
rminizinc_0.0.2.tar.gz 2020-12-17 17:30 405K
rminizinc_0.0.3.tar.gz 2021-01-06 05:40 406K
rminizinc_0.0.4.tar.gz 2021-01-22 13:40 406K
rminizinc_0.0.5.tar.gz 2021-01-27 10:30 411K
rminizinc_0.0.6.tar.gz 2021-02-26 12:50 419K
rminizinc_0.0.7.tar.gz 2021-08-04 06:10 429K