added numeral_notation to META.coq.in

1 files changed, 14 insertions, 0 deletions

diff --git a/META.coq.in b/META.coq.in
index 095f54dde7..97df6c2caa 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -517,6 +517,20 @@ package "plugins" (
     plugin(native)  = "string_notation_plugin.cmxs"
   )
 
+  package "numeral_notation" (
+    description = "Coq numeral notation plugin"
+    version 	= "8.13"
+
+    requires    = ""
+    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"