diff options
| author | Ali Caglayan | 2020-08-25 13:30:14 +0200 |
|---|---|---|
| committer | Ali Caglayan | 2020-08-25 13:30:14 +0200 |
| commit | c7947b41fb2bb989602efc30341525da4efab7e5 (patch) | |
| tree | d0c650de973156384e4325b3007dc2529d9303a0 | |
| parent | 21a5abbebc98b5177f069cb14709db2477749670 (diff) | |
added coq.vernac dependency to numeral_notations plugin
| -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 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" |