Leo 2d4924a770 testing/flint: add missing -dev subpackage, disable on mips64
```
error: conflicting types for 'mp_limb_t'
```
2021-02-10 10:51:47 -03:00
..