diff options
| author | coqbot-app[bot] | 2021-02-11 20:05:32 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 20:05:32 +0000 |
| commit | 2384c5c9d67ee4484e91bfe9e8e7a49a5e564d1a (patch) | |
| tree | bc52eaf39584cf1527842d2a2584eaa993ae71f4 /kernel/nativelambda.mli | |
| parent | 4e14df77f674fdc9dbef6466493b1814cc33158f (diff) | |
| parent | 537c8f2c38d5e3751adcc402e70010c1e7e9e9bd (diff) | |
Merge PR #13642: Add build dependency of conf-python-3 to coq-doc
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions