NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-0n78xn77/MANIFEST prolog-tools-0.2pre1698516985 i686-darwin /nix/store/j45xl6kxqm1qn8pwzcxsg8i100834vdq-prolog-tools.drv /nix/store/vivgjv0wfk7jw65hgn7fnpv83sdklmip-prolog-tools