[ubuntu/disco-proposed] agda (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Fri Dec 14 10:16:49 UTC 2018

agda ( 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>
-------------- next part --------------
Sorry, changesfile not available.

More information about the Disco-changes mailing list