NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-i0yh4iyw/MANIFEST prolog-tools-0.2pre1698516985 x86_64-linux /nix/store/bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv /nix/store/120ffzqjnrnhwq6gyxxljg394d9dqwf4-prolog-tools