Version of python3-fiat: 2019.2.0~git20210419.7d418fa-4
Architecture of python3-fiat: all
Version of python3-dyda: 1.41.1-2
Architecture of python3-dyda: all