Tags give the ability to mark specific points in history as being important
-
-
-
archive/debian/1.10.0-2
e98f6ef4 · ·coq-stdpp release 1.10.0-2 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
-
debian/1.10.0-2
4a3a1200 · ·coq-stdpp release 1.10.0-2 for unstable (sid) (maintainer view tag generated by dgit --quilt=gbp) [dgit distro=debian split --quilt=gbp]
-
-
-