diff options
| author | Pierre Roux | 2020-03-11 15:46:30 +0100 |
|---|---|---|
| committer | Pierre Roux | 2020-03-11 15:46:30 +0100 |
| commit | dfa74b252c236ae6fe2f36e2f091ddad8ae7e259 (patch) | |
| tree | ddbfb6ed7e7d0d8f8f0da55c7f63d6f9cd58d4fb /Makefile.dev | |
| parent | 45e83041ee129a541fdf17a8c50dd6e9e0e81262 (diff) | |
Fix coqchk for primitive integers on 32bit arch with OCaml >= 4.08 (#11624)
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions