diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-12-13 23:31:04 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-12-13 23:31:04 +0100 |
commit | 8311d705397cbadb6f9f033220d61772ce8782e3 (patch) | |
tree | 11a0f2798da87cfccd3014884c9b60e9b4177ec2 /META.coq | |
parent | 2c2a08083bc535397359299690d0bfb3523a9ee1 (diff) |
[meta] Minor linking fix.
Diffstat (limited to 'META.coq')
-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" |