diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-09-07 14:47:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-07 14:47:34 +0200 |
| commit | a0e4b9b6054a018cd75039e91cf2abe1da04186f (patch) | |
| tree | e6945f13fc9646d62116b2a05c5c544902af5820 | |
| parent | 5c36584809a68199b412a55c84f9070f64cee453 (diff) | |
| parent | c91790e21ca75217d2e7efe8fe516ff14c4b3d1f (diff) | |
Merge pull request #190017 from kyoDralliam/metacoq-subpackages
Add attributes for metacoq subpackages
| -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 e013bf7cd1bc..dbfc7bb1eddc 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 { }; |