diff options
| author | Tom McLaughlin <tom@codedown.io> | 2022-05-02 00:15:13 -0700 |
|---|---|---|
| committer | Matthieu Coudron <886074+teto@users.noreply.github.com> | 2023-11-22 00:55:25 +0100 |
| commit | 1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35 (patch) | |
| tree | 74a857deb8e1ee8ea3a3881788972f7afd7dffb7 /pkgs/top-level | |
| parent | 72edcc748a92377d0568c9536ece114dbabb948c (diff) | |
| download | nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar.gz nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar.bz2 nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar.lz nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar.xz nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.tar.zst nixlib-1383b84d37d3dbca82c4c07bd0afe5d6e2ebaf35.zip | |
coq_kernel: init at 1.6.0
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 23fa2b4b2440..514a2afdb640 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -39521,6 +39521,8 @@ with pkgs; coq2html = callPackage ../tools/typesetting/coq2html { }; + coq-kernel = callPackage ../applications/editors/jupyter-kernels/coq { }; + cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; crypto-org-wallet = callPackage ../applications/blockchains/crypto-org-wallet { }; |