NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-i0yh4iyw/MANIFEST prolog-tools-0.2pre1698516985 i686-linux /nix/store/pyk8i4nyv0scd8c729slw4y9f6f3x9qv-prolog-tools.drv /nix/store/f8xanr7zly0jj0v0n9jm49g69flxw51r-prolog-tools