gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #190017 from kyoDralliam/metacoq-subpackages

Browse Source 
Add attributes for metacoq subpackages
This commit is contained in:
Théo Zimmermann
2022-09-07 14:47:34 +02:00
committed by GitHub
parent 5c36584809 c91790e21c
commit a0e4b9b605
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/coq-packages.nix
+4
View File
@@ -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 { };