Skip to content
Snippets Groups Projects
Ilias Tsitsimpis's avatar
pushed new tag debian/2.1-4 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch master at Debian Haskell Group / agda-stdlib
  • eb0dbee2 · Include deprecated modules
Ilias Tsitsimpis's avatar
pushed new tag debian/2.1-3 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch master at Debian Haskell Group / agda-stdlib
  • b439ea2b · Remove Iain Lane from uploaders
Ilias Tsitsimpis's avatar
pushed new tag debian/2.1-2 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch master at Debian Haskell Group / agda-stdlib
  • 07d5e3dc · Install build artifacts under '/usr/share/agda-stdlib/_build/'
Ilias Tsitsimpis's avatar
pushed new tag upstream/2.1 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed new tag debian/2.1-1 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch upstream at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch pristine-tar at Debian Haskell Group / agda-stdlib
  • 73c2284d · pristine-tar data for agda-stdlib_2.1.orig.tar.gz
Ilias Tsitsimpis's avatar
pushed to branch master at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed new tag upstream/1.7.3 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed new tag debian/1.7.3-1 at Debian Haskell Group / agda-stdlib
Ilias Tsitsimpis's avatar
pushed to branch upstream at Debian Haskell Group / agda-stdlib
  • 2488331a · New upstream version 1.7.3
Ilias Tsitsimpis's avatar
pushed to branch pristine-tar at Debian Haskell Group / agda-stdlib
  • 90f1522c · pristine-tar data for agda-stdlib_1.7.3.orig.tar.gz
Ilias Tsitsimpis's avatar
pushed to branch master at Debian Haskell Group / agda-stdlib
Jelmer Vernooij's avatar
closed merge request !1 "Apply hints suggested by the multi-arch hinter" at Debian Haskell Group / agda-stdlib
Jelmer Vernooij's avatar
commented on merge request !1 "Apply hints suggested by the multi-arch hinter" at Debian Haskell Group / agda-stdlib

This is obsolete.

Jelmer Vernooij's avatar
commented on merge request !2 "Apply hints suggested by the multi-arch hinter" at Debian Haskell Group / agda-stdlib

Hi @laney,...

Jelmer Vernooij's avatar
accepted merge request !2 "Apply hints suggested by the multi-arch hinter" at Debian Haskell Group / agda-stdlib