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

coqPackages.autosubst: New expression

Browse Source
This commit is contained in:
John Wiegley
2017-07-10 18:15:14 -07:00
parent d40dd2c70d
commit 399dee93ae
3 changed files with 163 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/top-level/all-packages.nix
View File

@@ -18013,6 +18013,7 @@ with pkgs;
};
coqPackages = coqPackages_8_5;
autosubst = callPackage ../development/coq-modules/autosubst {};
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
coquelicot = callPackage ../development/coq-modules/coquelicot {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};
@@ -18031,6 +18032,7 @@ with pkgs;
coq = callPackage ../applications/science/logic/coq {};
coqPackages = coqPackages_8_6;
autosubst = callPackage ../development/coq-modules/autosubst {};
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
coquelicot = callPackage ../development/coq-modules/coquelicot {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};