NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-0n78xn77/MANIFEST prolog-tools-0.2pre1698516985 i686-linux /nix/store/a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv /nix/store/4bwp348ilz9xgmajcgy40cds1xr98cfw-prolog-tools