diff options
| author | coqbot-app[bot] | 2020-11-18 18:06:59 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-18 18:06:59 +0000 |
| commit | e2f2966c453ecdf788ee1c15d62be68da2cddebe (patch) | |
| tree | 5cd4aa804515004ea23a9137061a922fe6792276 /dev/base_include | |
| parent | e6334138fc9f596434980e36850c2b90d60a50a8 (diff) | |
| parent | c3ea4b4c9ace031d70e55326675b63ddce8d9b3c (diff) | |
Merge PR #13410: [configure] check that zarith dev files are available
Reviewed-by: ejgallego
Ack-by: silene
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions