Name Last modified Size Description Parent Directory - gprolog-1.5.0-llvm-a..> 10-Jul-2021 19:39 1.5K gprolog-1.5.0-links...> 26-Nov-2022 13:40 501 gprolog-1.5.0-ldflag..> 10-Jul-2021 19:39 3.9K gprolog-1.5.0-destdi..> 26-Nov-2022 13:40 1.9K