NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST gprolog-1.3.1 i686-linux /nix/store/7ymag36ldkn9a7s7x368zpsq53ricwiy-gprolog-1.3.1.drv /nix/store/z39xnhnv7bamb7i2snyyc742ch6ci9kr-gprolog-1.3.1