Version of auto-07p: 0.9.2+dfsg-3+b3
Architecture of auto-07p: amd64
Version of python3-fiat: 2019.2.0~git20210419.7d418fa-4
Architecture of python3-fiat: all