shell.nix - coq (fb57cb7e-fecf-40f3-afb1-b4cb7466d314/main)

Tree @fb57cb7e-fecf-40f3-afb1-b4cb7466d314/main (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; }