NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-i0yh4iyw/MANIFEST prolog-tools-0.2pre1698516985 i686-darwin /nix/store/z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv /nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools