NIXPKG1 http://releases.strategoxt.org/prolog-tools/prolog-tools-0.2pre1698516985-0n78xn77/MANIFEST prolog-tools-0.2pre1698516985 x86_64-linux /nix/store/isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv /nix/store/rgfzv54lbn1k02cpclr03mrqd7dfv4lk-prolog-tools