public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vampire: switch off the fragile fetchSubmodules/leaveDotGit

Browse Source
This commit is contained in:
Michael Raskin 2019-05-09 20:20:45 +02:00
parent b269811203
commit a8c4b37063
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/vampire/default.nix
View File

@ -8,9 +8,9 @@ stdenv.mkDerivation rec {
owner = "vprover"; owner = "vprover";
repo = "vampire"; repo = "vampire";
rev = version; rev = version;
sha256 = "0d1klprlgqrcn8r5ywgvsahr4qz96ayl67ry5jks946v0k94m1k1"; sha256 = "03dqjxr3cwz4h6sn9074kc6b6wjz12kpsvsi0mq2w0j5l9f8d80y";
fetchSubmodules = true; #fetchSubmodules = true;
leaveDotGit = true; #leaveDotGit = true;
}; };
nativeBuildInputs = [ git ]; nativeBuildInputs = [ git ];