From 21a5abbebc98b5177f069cb14709db2477749670 Mon Sep 17 00:00:00 2001
From: Ali Caglayan
Date: Mon, 24 Aug 2020 04:28:19 +0200
Subject: added numeral_notation to META.coq.in

---
 META.coq.in | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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"
-- 
cgit v1.2.3


From c7947b41fb2bb989602efc30341525da4efab7e5 Mon Sep 17 00:00:00 2001
From: Ali Caglayan
Date: Tue, 25 Aug 2020 13:30:14 +0200
Subject: added coq.vernac dependency to numeral_notations plugin

---
 META.coq.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/META.coq.in b/META.coq.in
index 97df6c2caa..d1240effdd 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -521,7 +521,7 @@ package "plugins" (
     description = "Coq numeral notation plugin"
     version 	= "8.13"
 
-    requires    = ""
+    requires    = "coq.vernac"
     directory 	= "numeral_notation"
 
     archive(byte)    = "numeral_notation_plugin.cmo"
-- 
cgit v1.2.3


From 7da4b8df48d959297e1e4f9e6cc508cf1f0b8be0 Mon Sep 17 00:00:00 2001
From: Ali Caglayan
Date: Tue, 25 Aug 2020 14:43:41 +0200
Subject: added coq.vernac dependency to string_notations plugin

---
 META.coq.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/META.coq.in b/META.coq.in
index d1240effdd..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"
-- 
cgit v1.2.3