Version of sepp: 4.5.1+really4.5.1+dfsg-5
Architecture of sepp: amd64
Version of python3-fiat: 2019.2.0~git20210419.7d418fa-4
Architecture of python3-fiat: all