Change logs for agda-stdlib source package in Eoan

agda-stdlib (1.1-1) unstable; 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

 -- Gianfranco Costamagna <email address hidden>  Wed, 04 Sep 2019 15:06:56 +0200

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

 -- Gianfranco Costamagna <email address hidden>  Wed, 04 Sep 2019 15:06:56 +0200

agda-stdlib (0.17-1) unstable; urgency=medium

  * Team upload.
  * New upstream release.
    - Bump dep bounds on agda-bin & libghc-agda-dev.
      Require 2.5.4.1 per upstream changelog.
      Assume, at least for now, that agda-stdlib will break with 2.5.5.
  * Drop spurious period from end of Standards-Version field.
  * Point Vcs-* at salsa.

 -- Sean Whitton <email address hidden>  Fri, 23 Nov 2018 17:54:52 -0700