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]
-
-
-
-