Debian Patches
Status for fiat/2019.2.0~git20210419.7d418fa-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| reproducible-build.patch | =================================================================== | no | ||||
| docs_local_mathjax.patch | =================================================================== | no | ||||
| fix_deprecated_numpy.patch | =================================================================== | no |
All known versions for source package 'fiat'
- 2019.2.0~git20210419.7d418fa-7 (forky, sid)
- 2019.2.0~git20210419.7d418fa-6 (trixie)
- 2019.2.0~git20210419.7d418fa-3 (bookworm)