15 lines
248 B
Nix
15 lines
248 B
Nix
{ pkgs ? import <nixpkgs-unstable> {} }:
|
|
pkgs.mkShell {
|
|
packages = with pkgs; [
|
|
# coq_8_20
|
|
coq
|
|
coqPackages.stdlib
|
|
# coqPackages.vscoq-language-server
|
|
];
|
|
|
|
shellHook = ''
|
|
export ROCQPATH="$COQPATH"
|
|
unset COQPATH
|
|
'';
|
|
}
|