Version of mnemosyne: 2.9+ds1-1
Architecture of mnemosyne: all
Version of python3-fiat: 2019.2.0~git20210419.7d418fa-4
Architecture of python3-fiat: all