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

[Gianfranco Costamagna]

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

Date: 2019-09-04 16:28:44.172263+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.1-1
-------------- next part --------------
Sorry, changesfile not available.