../ build-2.9.2.xml 09-Oct-2016 09:10 2863 build-3.0.1.xml 28-Sep-2017 08:57 2968 build-3.1.0.xml 17-Oct-2017 06:37 2968 tuprolog-2.9.2-no-dynamic-object-test.patch 17-Feb-2016 14:41 758 tuprolog-2.9.2-no-ikvm.patch 17-Feb-2016 14:41 3929 tuprolog-3.0.1-no-ikvm.patch 27-Sep-2017 17:39 4844 tuprolog-3.0.1-oolibrary-unit-test.patch 27-Sep-2017 17:39 762 tuprolog-3.1.0-no-ikvm.patch 08-Oct-2017 16:18 4862