Skip to content
debian/1%2.13.7+ds-2
Jose Luis Blanco-Claraco's avatar
Jose Luis Blanco-Claraco
@jlblancoc
03b37176 · Switch to another workaround for arm64 ·
Unverified 
mrpt release 1:2.13.7+ds-2 for unstable (sid)

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

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