diff options
| author | Maxime Dénès | 2017-12-14 17:23:28 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-14 17:23:28 +0100 |
| commit | 7a91915f01d404181377e0b150a1919c4f6eec47 (patch) | |
| tree | 410394ce0121152a112f47a3c1f2f2cd0d62198d | |
| parent | 1853470c78d1a8aa2525dd57bbfce1064d359ff2 (diff) | |
| parent | 8311d705397cbadb6f9f033220d61772ce8782e3 (diff) | |
Merge PR #6422: [meta] Minor linking fix.
| -rw-r--r-- | META.coq | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -233,7 +233,7 @@ package "API" ( description = "Coq API" version = "8.7" - requires = "coq.stm" + requires = "coq.intf, coq.stm" directory = "API" archive(byte) = "API.cma" |