diff options
| author | Cyril Cohen <cohen@crans.org> | 2021-05-10 15:30:05 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-10 15:59:48 +0200 |
| commit | 0aa521e3a00e6954f6b66ad1ace829691efd5164 (patch) | |
| tree | bfcf8b9edf9f0d3b2362374c232c9928b5847f85 /pkgs/top-level/coq-packages.nix | |
| parent | 8e34a2f35bf17718fc548498a96a527d47a2ef95 (diff) | |
| download | nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.gz nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.bz2 nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.lz nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.xz nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.tar.zst nixpkgs-0aa521e3a00e6954f6b66ad1ace829691efd5164.zip | |
coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13
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 9884553c9e0..2efd2c1849b 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -60,6 +60,7 @@ let mathcomp-finmap = callPackage ../development/coq-modules/mathcomp-finmap {}; mathcomp-bigenough = callPackage ../development/coq-modules/mathcomp-bigenough {}; mathcomp-real-closed = callPackage ../development/coq-modules/mathcomp-real-closed {}; + mathcomp-zify = callPackage ../development/coq-modules/mathcomp-zify {}; metalib = callPackage ../development/coq-modules/metalib { }; multinomials = callPackage ../development/coq-modules/multinomials {}; odd-order = callPackage ../development/coq-modules/odd-order { }; |