[ubuntu/disco-proposed] agda 2.5.4.1-3 (Accepted)

[Gianfranco Costamagna]

agda (2.5.4.1-3) unstable; urgency=medium

  * Remove build dependency on non-existing libghc-edisoncore-dev.
    The correct package is libghc-edison-core-dev.
  * Remove build dependency on *-prof packages.
    No profiling package is being built.

Date: 2018-10-21 04:27:37.020399+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/agda/2.5.4.1-3
-------------- next part --------------
Sorry, changesfile not available.