Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
boxer_1.3.0-2_all.deb 2022-04-11 05:05 65K
boxer_1.3.0-2.debian.tar.xz 2022-04-11 05:22 8.2K
boxer_1.3.0-2.dsc 2022-04-11 05:22 3.0K
boxer_1.3.0.orig.tar.gz 2022-04-11 05:22 58K