[ubuntu/zesty-proposed] agda-stdlib 0.12-2build1 (Accepted)

[Martin Pitt]

agda-stdlib (0.12-2build1) yakkety; urgency=medium

  * Rebuild against new GHC ABI.

Date: 2016-08-09 15:21:12.939853+00:00
Changed-By: LocutusOfBorg <costamagnagianfranco at yahoo.it>
Maintainer: Iain Lane <iain at orangesquash.org.uk>
Signed-By: Martin Pitt <martin.pitt at ubuntu.com>
https://launchpad.net/ubuntu/+source/agda-stdlib/0.12-2build1
-------------- next part --------------
Sorry, changesfile not available.