Tags

debian/1.4+8.20-1

Upstream version 1.4+8.20

debian/1.4+8.19-3

coq-mtac2 release 1.4+8.19-2 for unstable (sid) [dgit]

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

coq-mtac2 release 1.4+8.19-2 for unstable (sid)

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

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

debian/1.4+8.19-1

Upstream version 1.4+8.19

debian/1.4+8.18-1

Upstream version 1.4+8.18

debian/1.4+8.17-1

Upstream version 1.4+8.17

debian/1.4+8.16-2

debian/1.4+8.16-1

Upstream version 1.4+8.16

debian/1.4+8.15-3

debian/1.4+8.15-2

debian/1.4+8.15-1

Upstream version 1.4+8.15