Skip to content
debian/20220511-manganese-4
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
bc3079be · Update changelog and prepare upload to unstable ·
Unverified 
frama-c release 20220511-manganese-4 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]