Apache/2.4.25 (Debian) Server at mirror.checkdomain.de Port 80Name Last modified Size Description
Parent Directory -
setup.hint 2013-08-01 22:33 608
md5.sum 2013-08-01 22:33 171
SWI-Prolog-5.2.6-1.tar.bz2 2013-08-01 22:33 891K
SWI-Prolog-5.2.6-1-src.tar.bz2 2013-08-01 22:33 5.5M