Tags give the ability to mark specific points in history as being important
-
-
archive/debian/8.19.0+0.19.3-4
1406b77a · ·coq-serapi release 8.19.0+0.19.3-4 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
-
debian/8.19.0+0.19.3-4
a1594e6b · ·coq-serapi release 8.19.0+0.19.3-4 for unstable (sid) (maintainer view tag generated by dgit --quilt=gbp) [dgit distro=debian split --quilt=gbp]
-