Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
proptest_0.1-0.tar.gz 2006-09-05 20:40 15K
proptest_0.1-1.tar.gz 2006-09-29 13:10 16K
proptest_0.1-2.tar.gz 2007-12-21 09:16 17K
proptest_0.1-3.tar.gz 2008-02-28 15:08 17K
proptest_0.1-4.tar.gz 2009-05-19 18:05 17K
proptest_0.1-5.tar.gz 2012-10-29 08:59 30K