debian/1.3-8.19-2 · Tags · Debian OCaml Maintainers / coq-equations

debian/1.3-8.19-2

coq-equations release 1.3-8.19-2 for unstable (sid)

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

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