Version of libdee-dev: 1.2.7+17.10.20170616-7+b3
Architecture of libdee-dev: amd64
Version of python3-fiat: 2019.2.0~git20210419.7d418fa-4
Architecture of python3-fiat: all