diff options
| author | Vincent Laporte | 2024-06-26 06:32:42 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2024-06-27 07:09:32 +0200 |
| commit | b8a048b959ed4c675a8934e23470d6e42ef422ba (patch) | |
| tree | 617bf3ecfa1c3f3af54756e9a7aac6a84006b980 /pkgs/top-level | |
| parent | 18e4b405aa44a1f3b0f167f45976d65c874a2b4a (diff) | |
coqPackages.coq-hammer-tactics: init at 1.3.2
Diffstat (limited to 'pkgs/top-level')
| -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 5cea3d663b42..cc46214ce54c 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -38,6 +38,7 @@ let coq-bits = callPackage ../development/coq-modules/coq-bits {}; coq-elpi = callPackage ../development/coq-modules/coq-elpi {}; coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {}; + coq-hammer-tactics = callPackage ../development/coq-modules/coq-hammer/tactics.nix { }; coq-haskell = callPackage ../development/coq-modules/coq-haskell { }; coq-lsp = callPackage ../development/coq-modules/coq-lsp {}; coq-record-update = callPackage ../development/coq-modules/coq-record-update { }; |