diff options
Diffstat (limited to 'META.coq.in')
| -rw-r--r-- | META.coq.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/META.coq.in b/META.coq.in index b3a96a8303..c2d3f85b9f 100644 --- a/META.coq.in +++ b/META.coq.in @@ -147,7 +147,7 @@ package "gramlib" ( version = "8.10" requires = "coq.lib" - directory = "gramlib__pack" + directory = "gramlib/.pack" archive(byte) = "gramlib.cma" archive(native) = "gramlib.cmxa" |