File: shell.nix

package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2
file content (4 lines) | stat: -rw-r--r-- 251 bytes parent folder | download
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; }