diff options
| author | Kenji Maillard <kenji@maillard.blue> | 2022-09-06 15:55:48 +0200 |
|---|---|---|
| committer | Kenji Maillard <kenji@maillard.blue> | 2022-09-06 15:55:48 +0200 |
| commit | c91790e21ca75217d2e7efe8fe516ff14c4b3d1f (patch) | |
| tree | c999fbcd536221585df55fd9961d6b980747f026 /pkgs/top-level/coq-packages.nix | |
| parent | f5da53c188aeafb0f092f329350b1099d3d2f62a (diff) | |
add attributes for metacoq subpackages
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index e013bf7cd1bc8..dbfc7bb1eddc8 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -82,6 +82,10 @@ let mathcomp-zify = callPackage ../development/coq-modules/mathcomp-zify {}; mathcomp-tarjan = callPackage ../development/coq-modules/mathcomp-tarjan {}; metacoq = callPackage ../development/coq-modules/metacoq { }; + metacoq-template-coq = self.metacoq.template-coq; + metacoq-pcuic = self.metacoq.pcuic; + metacoq-safechecker = self.metacoq.safechecker; + metacoq-erasure = self.metacoq.erasure; metalib = callPackage ../development/coq-modules/metalib { }; multinomials = callPackage ../development/coq-modules/multinomials {}; odd-order = callPackage ../development/coq-modules/odd-order { }; |