diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:17:04 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:35:57 -0700 |
commit | c072fb47291608ec63d1154d2d71c9e8f8a42c41 (patch) | |
tree | efde9a33c71dcfb819d298637d821f5e1c336b47 /pkgs/top-level | |
parent | 399dee93ae548e83447a514917cf5409ab7c2c8f (diff) | |
download | nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar.gz nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar.bz2 nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar.lz nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar.xz nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.tar.zst nixlib-c072fb47291608ec63d1154d2d71c9e8f8a42c41.zip |
coqPackages_8_6.heq: Add to the 8.6 set
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 491d11ca9f00..c783b3cb916d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18037,6 +18037,7 @@ with pkgs; coquelicot = callPackage ../development/coq-modules/coquelicot {}; dpdgraph = callPackage ../development/coq-modules/dpdgraph {}; flocq = callPackage ../development/coq-modules/flocq {}; + heq = callPackage ../development/coq-modules/heq {}; interval = callPackage ../development/coq-modules/interval {}; mathcomp = callPackage ../development/coq-modules/mathcomp { }; paco = callPackage ../development/coq-modules/paco {}; |