add attributes for metacoq subpackages
This commit is contained in:
parent
f5da53c188
commit
c91790e21c
|
@ -82,6 +82,10 @@ let
|
||||||
mathcomp-zify = callPackage ../development/coq-modules/mathcomp-zify {};
|
mathcomp-zify = callPackage ../development/coq-modules/mathcomp-zify {};
|
||||||
mathcomp-tarjan = callPackage ../development/coq-modules/mathcomp-tarjan {};
|
mathcomp-tarjan = callPackage ../development/coq-modules/mathcomp-tarjan {};
|
||||||
metacoq = callPackage ../development/coq-modules/metacoq { };
|
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 { };
|
metalib = callPackage ../development/coq-modules/metalib { };
|
||||||
multinomials = callPackage ../development/coq-modules/multinomials {};
|
multinomials = callPackage ../development/coq-modules/multinomials {};
|
||||||
odd-order = callPackage ../development/coq-modules/odd-order { };
|
odd-order = callPackage ../development/coq-modules/odd-order { };
|
||||||
|
|
Loading…
Reference in a new issue