aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq
diff options
context:
space:
mode:
Diffstat (limited to 'META.coq')
-rw-r--r--META.coq4
1 files changed, 2 insertions, 2 deletions
diff --git a/META.coq b/META.coq
index 3414ccbd4..12d7666cb 100644
--- a/META.coq
+++ b/META.coq
@@ -131,10 +131,10 @@ package "interp" (
package "grammar" (
- description = "Coq Base Grammar"
+ description = "Coq Camlp5 Grammar Extensions for Plugins"
version = "8.8"
- requires = "coq.interp"
+ requires = "camlp5.gramlib"
directory = "grammar"
archive(byte) = "grammar.cma"