Skip to content
debian/0.4.0-2
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
37d0274c · Fix build with recent dune ·
Unverified 
psmt2-frontend release 0.4.0-2 for unstable (sid)

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

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