../ swi-prolog-java_7.2.3-2_amd64.deb 13-Feb-2016 00:04 82082 swi-prolog-nox_7.2.3-2_amd64.deb 13-Feb-2016 00:04 3051508 swi-prolog-odbc_7.2.3-2_amd64.deb 13-Feb-2016 00:04 109666 swi-prolog-x_7.2.3-2_amd64.deb 13-Feb-2016 00:04 1988104 swi-prolog_7.2.3-2.debian.tar.xz 12-Feb-2016 23:14 51432 swi-prolog_7.2.3-2.dsc 12-Feb-2016 23:14 2559 swi-prolog_7.2.3-2_amd64.deb 13-Feb-2016 00:04 1916 swi-prolog_7.2.3.orig.tar.gz 11-Feb-2016 11:24 16192142