Apache/2.4.66 (Debian) Server at raspbian.biologie.uni-muenchen.de Port 443Name Last modified Size Description
Parent Directory -
cain_1.10+dfsg-3.dsc 2018-07-13 17:25 2.1K
cain_1.10+dfsg-3.debian.tar.xz 2018-07-13 17:25 7.6K
cain-examples_1.10+dfsg-3_all.deb 2018-07-13 18:15 164K
cain-solvers_1.10+dfsg-3_armhf.deb 2018-07-19 12:08 715K
cain_1.10+dfsg-3_all.deb 2018-07-13 18:15 10M
cain_1.10+dfsg.orig.tar.xz 2015-12-19 09:09 15M