Tags give the ability to mark specific points in history as being important
-
-
-
-
-
archive/debian/0.17-1
5aa1c0b7 · ·agda-stdlib release 0.17-1 for unstable (sid) [dgit] [dgit distro=debian --deliberately-not-fast-forward]
-
debian/0.17-1
5aa1c0b7 · ·agda-stdlib release 0.17-1 for unstable (sid) [dgit] [dgit distro=debian --deliberately-not-fast-forward]
-
-
-
-
-
debian/0.12-2
4e05ee3e · ·tagging helmut's recent upload Verified as identical to uploaded source package with dgit by spwhitton.
-
-