[ubuntu/groovy-proposed] agda-stdlib 1.3-1 (Accepted)

[Gianfranco Costamagna]

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

  * Team upload.
  * New upstream version 1.3
  * Fix watch file
  * Bump agda dependency bounds
  * Bump copyright years

Date: 2020-07-31 16:27:52.284894+00:00
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/agda-stdlib/1.3-1
-------------- next part --------------
Sorry, changesfile not available.