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

elpi: 1.12.0 -> 1.13.0

Browse Source
This commit is contained in:
Cyril Cohen
2021-02-18 22:26:10 +01:00
committed by Vincent Laporte
parent 2f5b9f0c09
commit 268e43a005
3 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/hierarchy-builder/default.nix
+2
View File
@@ -12,6 +12,8 @@ with lib; mkCoqDerivation {
release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
releaseRev = v: "v${v}";
nativeBuildInputs = [ which ];
propagatedBuildInputs = [ coq-elpi ];
extraInstallFlags = [ "VFILES=structures.v" ];