Codebase list coq / debian/8.9.1-5 shell.nix
debian/8.9.1-5

Tree @debian/8.9.1-5 (Download .tar.gz)

shell.nix @debian/8.9.1-5 — raw · history · blame 

1
2
3
4
# Some developers don't want a pinned nix-shell by default.
# If you want to use the pin nix-shell or a more sophisticated set of arguments:
# $ nix-shell default.nix --arg shell true
import ./default.nix { pkgs = import <nixpkgs> {}; shell = true; }