Name Last modified Size Description Parent Directory - gprolog-1.5.0-destdi..> 20-Mar-2025 13:38 1.9K gprolog-1.5.0-ldflag..> 20-Mar-2025 13:38 3.9K gprolog-1.5.0-links...> 20-Mar-2025 13:38 501 gprolog-1.5.0-llvm-a..> 20-Mar-2025 13:38 1.5K