Version of gcc-10-source: 10.5.0-4
Architecture of gcc-10-source: all
Version of sat-templates: 0.9.0~hg394+dfsg-1
Architecture of sat-templates: all