diff options
| author | Théo Zimmermann | 2020-09-11 16:58:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-09-11 16:58:09 +0200 |
| commit | 40932770fb1d5700f094954b15a6d84aaa007385 (patch) | |
| tree | 7d744765f0f9fc1b8b226bd4119e7c42df79fc05 /kernel/nativecode.mli | |
| parent | e1a8da8b83aa3ae96ac05c2bc6606aa0719aa64f (diff) | |
Propagate zarith dependency.
External plugins need the OCaml dependencies of Coq in scope
because ocamlfind looks for them since #12604.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions