diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:15:14 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:35:56 -0700 |
| commit | 399dee93ae548e83447a514917cf5409ab7c2c8f (patch) | |
| tree | 9cd752ab06a9fdcfa7336cb4db9b2fe47f375a43 /pkgs/top-level | |
| parent | d40dd2c70da336a046760af91791b86ed2ee2a73 (diff) | |
| download | nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar.gz nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar.bz2 nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar.lz nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar.xz nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.tar.zst nixlib-399dee93ae548e83447a514917cf5409ab7c2c8f.zip | |
coqPackages.autosubst: New expression
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 5e4d76a9c874..491d11ca9f00 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 {}; |