Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
swi-prolog_8.1.15-1_aarch64.deb 2019-12-05 22:54 2.7M
swi-prolog_8.1.15-1_arm.deb 2019-12-05 22:54 2.8M
swi-prolog_8.1.15-1_i686.deb 2019-12-05 22:54 2.8M
swi-prolog_8.1.15-1_x86_64.deb 2019-12-05 22:54 2.9M