[ubuntu/bionic-proposed] agda-stdlib 0.14-1~build1 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (0.14-1~build1) bionic; urgency=medium

  [ Gianfranco Costamagna ]
  * Upload to Ubuntu bionic
  * New upstream release (Closes: #881307)
  * Bump std-version to 4.1.1, set priority to optional

  [ Helmut Grohne ]
  * Team upload
  * Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307)
  * Bump agda-bin Breaks due to agdai incompatibility.
  * Tighten up agda relation ships to detect incompatibility next time.

Date: Sun, 26 Nov 2017 11:28:04 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Iain Lane <laney at debian.org>
https://launchpad.net/ubuntu/+source/agda-stdlib/0.14-1~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 26 Nov 2017 11:28:04 +0100
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.14-1~build1
Distribution: bionic
Urgency: medium
Maintainer: Iain Lane <laney at debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 agda-stdlib - standard library for Agda
 agda-stdlib-doc - standard library for Agda — documentation
Closes: 881307
Changes:
 agda-stdlib (0.14-1~build1) bionic; urgency=medium
 .
   [ Gianfranco Costamagna ]
   * Upload to Ubuntu bionic
   * New upstream release (Closes: #881307)
   * Bump std-version to 4.1.1, set priority to optional
 .
   [ Helmut Grohne ]
   * Team upload
   * Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307)
   * Bump agda-bin Breaks due to agdai incompatibility.
   * Tighten up agda relation ships to detect incompatibility next time.
Checksums-Sha1:
 c605d1135fc5bd906fd62908ee9043fb5be3123e 2128 agda-stdlib_0.14-1~build1.dsc
 c5c2cca51f8b125d4f88e04cc1285d04b69524b8 285379 agda-stdlib_0.14.orig.tar.gz
 333f46948a3d6b5eb8a43961c1b69a563fa0bf14 5204 agda-stdlib_0.14-1~build1.debian.tar.xz
 982ffc9cdae35d0b2a589fb579bed758345b1b6a 6386 agda-stdlib_0.14-1~build1_source.buildinfo
Checksums-Sha256:
 ce5d4c5bab936444e654c4b4332fd5c16e6861aae9ef3a8fed246321f12615fe 2128 agda-stdlib_0.14-1~build1.dsc
 7237c4039c61542bc010fd6db5da27dd6548c4ca5cde0d5d84b64f2b1a643b09 285379 agda-stdlib_0.14.orig.tar.gz
 26b2ba4c3f831e3e4b4739225494becfe2181a2cc00674a5fbe15b94c95f46c1 5204 agda-stdlib_0.14-1~build1.debian.tar.xz
 34d7447bd8010c303a62700953fc4dc679b6103bc3ddcca720cdc8d762bda07c 6386 agda-stdlib_0.14-1~build1_source.buildinfo
Files:
 6d610cda9098e1482c97e396f6245f9e 2128 libs optional agda-stdlib_0.14-1~build1.dsc
 19c570a37377ef8d365e14b3dccc435b 285379 libs optional agda-stdlib_0.14.orig.tar.gz
 293fd87fa840179c38ce2303a2948462 5204 libs optional agda-stdlib_0.14-1~build1.debian.tar.xz
 7ceac672e57bd57c2913fcbe1b4695e2 6386 libs optional agda-stdlib_0.14-1~build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJaGpwDAAoJEPNPCXROn13ZEgoQAJwMWc+4URz7oSYF21PLpnjW
6oeq9WSh7NtTuBg2/nXsDR2wMR26J6pE/k5rczBTNJHIiRoHZERjCbpssg/+B7k+
kCUfm/x51lKFGaNO10+AgkDUQfB7eTnzzms2zi4tyvn+ameKR4lfe9MhIgNPlwKT
U4LcNGahzhQYlbJchEQ1ycjNODPZZErgb1iXcNGZMyowcAFnUieb3h4c3tILAar4
CtYnP+sG3sG7zprG0FHfaZ5d6JdO4vVEdPGH2dx8x69qjBDSm2yiuIhXMKvlvTk2
gURFgBOYjxTfns5RJd0TxQHDWLpZfgwnRFP8ChAnQfb6NAcOJCnAN8F2WVGrABZF
QVdsxz347LHtKmfaKKZzu22Du2HR2od9ZWa4nRYRj9vhZsRh/Zr4P25zNND8aJl+
Rn2lsnN9cGqz7goAmrXX0dZ6DGDE+vQ6SnGEefadOPxnvRL2NWoICBrhBBvtidp8
ggEh/ZqBK4PFoipLwjMx4IHXer9A1LW1/3tDglHsuTyO2CIX7IlNPVdjw4DIGSZQ
mvJ98QcICQYMWX3iQauHWD+LP/BkMy18zRxxBAtX4cjI7HuruUVsWlQhhb81UYxJ
TCN66ouTe8Sz08718ONHaB1ha79IayYKRY/5L10AIlL4DcW2TVLZh8lwmMNs+JoS
IJyC7FqQneio9dfkifJk
=gBeY
-----END PGP SIGNATURE-----