diff options
| author | coqbot-app[bot] | 2020-08-25 15:57:43 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-25 15:57:43 +0000 |
| commit | 51c0d56a5b0384e2f6bd980a1111547641c66b3e (patch) | |
| tree | 7fc10dc42c27cb2e71c1b75d57e669377059c77a | |
| parent | 3365b1e640e9a9a4694c85d3f988115ce79be9f9 (diff) | |
| parent | 7da4b8df48d959297e1e4f9e6cc508cf1f0b8be0 (diff) | |
Merge PR #12879: added numeral_notation to META.coq.in
Reviewed-by: ejgallego
Ack-by: Alizter
Ack-by: gares
| -rw-r--r-- | META.coq.in | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/META.coq.in b/META.coq.in index 095f54dde7..883a7286e4 100644 --- a/META.coq.in +++ b/META.coq.in @@ -507,7 +507,7 @@ package "plugins" ( description = "Coq string_notation plugin" version = "8.13" - requires = "" + requires = "coq.vernac" directory = "syntax" archive(byte) = "string_notation_plugin.cmo" @@ -517,6 +517,20 @@ package "plugins" ( plugin(native) = "string_notation_plugin.cmxs" ) + package "numeral_notation" ( + description = "Coq numeral notation plugin" + version = "8.13" + + requires = "coq.vernac" + directory = "numeral_notation" + + archive(byte) = "numeral_notation_plugin.cmo" + archive(native) = "numeral_notation_plugin.cmx" + + plugin(byte) = "numeral_notation_plugin.cmo" + plugin(native) = "numeral_notation_plugin.cmxs" + ) + package "derive" ( description = "Coq derive plugin" |