diff options
| author | Emilio Jesus Gallego Arias | 2019-04-14 01:19:29 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-14 01:19:29 +0200 |
| commit | e687ffed9adcd6b49613345c9e6be3d87ca93733 (patch) | |
| tree | 1a13076c606d471f7a6504dbf5372cc9e5266249 /kernel/nativelib.mli | |
| parent | adc53b598ee2787cf23d8540f03634d19457c806 (diff) | |
| parent | d578525bf86e3304afbafe8f5bc3982d16796dc5 (diff) | |
Merge PR #9957: Add missing build dependency in `coq.opam`
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions