debian/20200625+scandium-2

Ralf Treinen

@treinen

7142b6be · fix pathname in removing frama-c.byte · Aug 26, 2020

frama-c Debian release 20200625+scandium-2