Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at www.ftp.uni-erlangen.de Port 80
Parent Directory - boxer-data_10.4.0.dsc 2015-12-24 06:30 1.6K boxer-data_10.4.0.tar.xz 2015-12-24 06:30 64K boxer-data_10.4.0_all.deb 2015-12-24 06:30 114K boxer-data_10.6.3.dsc 2018-01-22 00:08 1.6K boxer-data_10.6.3.tar.xz 2018-01-22 00:08 91K boxer-data_10.6.3_all.deb 2018-01-22 00:13 171K