Codebase list coq / upstream/8.8.2 shell.nix
upstream/8.8.2

Tree @upstream/8.8.2 (Download .tar.gz)

shell.nix @upstream/8.8.2 — 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; }