Tags

debian/1.6-8.20-1

Upstream version 1.6-8.20

debian/1.6+8.19-3

coq-unicoq release 1.6-8.19-2 for unstable (sid) [dgit]

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

coq-unicoq release 1.6-8.19-2 for unstable (sid)

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

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

debian/1.6-8.19-1

Upstream version 1.6-8.19

debian/1.6-8.18-1

Upstream version 1.6-8.18

debian/1.6-8.17-1

Upstream version 1.6-8.17

debian/1.6-8.16-2

debian/1.6-8.16-1

Upstream version 1.6-8.16

debian/1.6-8.15-2

debian/1.6-8.15-1

Upstream version 1.6-8.15