debian/20200625+scandium-1

Ralf Treinen

@treinen

72c83cbc · symbolic link for manpage of frama-c-gui.byte · Aug 25, 2020

frama-c Debian release 20200625+scandium-1