shell.nix - coq (5d7ee36d-d05e-4899-ae3a-eb2f035369b0/upstream)

Tree @5d7ee36d-d05e-4899-ae3a-eb2f035369b0/upstream (Download .tar.gz)

# If you want to use a more sophisticated set of arguments:
# $ nix-shell default.nix --arg shell true
import ./default.nix { shell = true; }