[ubuntu/eoan-proposed] agda-stdlib 1.1-1~build1 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (1.1-1~build1) eoan; urgency=medium

  * Team upload
  * New upstream version 1.1
  * Update copyright years
  * Bump compat level to 12
  * Bump std-version to 4.4.0
  * Update agda relationships bounds

Date: Wed, 04 Sep 2019 15:06:56 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Iain Lane <laney at debian.org>
https://launchpad.net/ubuntu/+source/agda-stdlib/1.1-1~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 04 Sep 2019 15:06:56 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 1.1-1~build1
Distribution: eoan
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
Changes:
 agda-stdlib (1.1-1~build1) eoan; urgency=medium
 .
   * Team upload
   * New upstream version 1.1
   * Update copyright years
   * Bump compat level to 12
   * Bump std-version to 4.4.0
   * Update agda relationships bounds
Checksums-Sha1:
 99cb571d6a21a62955375ea104040782e21a4c10 2145 agda-stdlib_1.1-1~build1.dsc
 0b347f01db0185c4ff0038275aa72a37e437cc25 570106 agda-stdlib_1.1.orig.tar.gz
 44acef5f3d06a309bb609dec198b228135eb3c40 5544 agda-stdlib_1.1-1~build1.debian.tar.xz
 e236b30a4c1aad3bff6e89fa875dff8e1ab957e2 7377 agda-stdlib_1.1-1~build1_source.buildinfo
Checksums-Sha256:
 dfde891bb0bedbe8f6a82e54c4e4c67a8aa306d4cb63a749e853dae5f14418d9 2145 agda-stdlib_1.1-1~build1.dsc
 bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 570106 agda-stdlib_1.1.orig.tar.gz
 72a4bdf68b9de572732be6d071887a916f1e90fd4b68e15c2236e1383f3df9ac 5544 agda-stdlib_1.1-1~build1.debian.tar.xz
 d3f4474f90d2da33c2e0e2cb43931c53981684bd7d59c2a6d3ce2bbae11a57cd 7377 agda-stdlib_1.1-1~build1_source.buildinfo
Files:
 22e77ad183f52d78ce20d8e691eb452a 2145 libs optional agda-stdlib_1.1-1~build1.dsc
 5be09e518785a3f27cdc65d5462abbbf 570106 libs optional agda-stdlib_1.1.orig.tar.gz
 7154f5fbe8bccbf166233d7b909aa54e 5544 libs optional agda-stdlib_1.1-1~build1.debian.tar.xz
 002d175bb8fd283f4423c7cd383a4980 7377 libs optional agda-stdlib_1.1-1~build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vt2YACgkQ808JdE6f
Xdl3iw//QLyD7sQ/5hJyw778YIZFIJAMT5GTd6oLdQGXqHVC6XhcAmeSTHhnzkrI
0AKwEDzEC1/jhJDwXZ2ITywyE1VOD3K+PIb+S5HxaMO08qo56jAkHd/s86ndCUsO
Mt6z5wAAQdnVFpeRo4DQhL18CopvB8VuDmq/4stbO+hKdiwKHywHZYJQawwMWN8O
zPRB91iTCsp9t6QxzdXPdlgCPQNKyGqaw5ytz5UqZHy7wzF7HbjRjLvVo7BKHckX
ic1S7yFX+Hy6jxMawO8SXq5tf3xbPxtBY/qa+HZseQhnMxpQBAuJjmKPdv3KtNX1
wbcJ7vq0zy/v8rTs37OZGAz0NvnGxkBuEoYrWueN9/jrMVgNQcwRHE574/qZyIvZ
JwruiwECNlAnXzc82sOIedvHSkdYvSOh7S0As3vCxt5NPsEPGFhtsBniZfyZLcNd
1dmWHsEDJScBVvfxOefk0uoilJ/5qirp3J515wKWqSM81cRdXMApLARSolVkX3YM
Lby/iuOZ8tvJzf6FjzTCo1+dGXcV9NTlO+no2RzVNSlmTk4+gPy1sq/qci5VpBAT
8bsuERdgTzpUjy+WT0fOJw+LZLtoJMMEwHxuOHsR29B4Y6CHBH1/CC9kunAV4EKI
FBTnvT2CKLHvl/mVyiUToFtW0tCCOX/lMOhXEuwqY87bDnDr6+o=
=F88i
-----END PGP SIGNATURE-----