diff options
| author | Emilio Jesus Gallego Arias | 2018-12-19 02:55:20 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-19 02:56:12 +0100 |
| commit | fed7e17aa4345f02129a9a595abb1abd29f4d510 (patch) | |
| tree | 71180f6c93211ff87cb62fa8a65735e1c617570e /kernel/nativelib.ml | |
| parent | 2cad4dec40cef2aecb19c5a0e5a1368392be8d88 (diff) | |
[dune] Add targets for Coq individual packages.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions