diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 01:28:57 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:38 +0000 |
commit | fcb89df11184e4bf9da78b73a232af4ef30db149 (patch) | |
tree | 4325c8b153c09728d132ae46b23ccbbd82fa44c5 /pkgs/top-level/coq-packages.nix | |
parent | 5642f4ac6fad637e21616123354b6e9443a2557a (diff) |
coqPackages.multinomials: init at 1.0
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 18f3f6d4d6dc..076347e3b660 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -29,6 +29,7 @@ let math-classes = callPackage ../development/coq-modules/math-classes { }; mathcomp = callPackage ../development/coq-modules/mathcomp { }; metalib = callPackage ../development/coq-modules/metalib { }; + multinomials = callPackage ../development/coq-modules/multinomials {}; paco = callPackage ../development/coq-modules/paco {}; QuickChick = callPackage ../development/coq-modules/QuickChick {}; ssreflect = callPackage ../development/coq-modules/ssreflect { }; |