Ubuntu
agda package

Change logs for agda source package in Disco

  1. Disco (19.04)
  2. Change log 
  • 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.

 -- Ilias Tsitsimpis <email address hidden>  Sat, 20 Oct 2018 23:22:18 +0300
  • agda (2.5.3-5build3) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 05 Jul 2018 09:45:00 +0200