Skip to content
archive/debian/20220511-manganese-5
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
fd7e6757 · Make fast forward from 20220511-manganese-4 ·
Unverified 
frama-c release 20220511-manganese-5 for unstable (sid) [dgit]

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