Debian
agda package

Change logs for agda source package in Buster

  1. Buster (10)
  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-5) unstable; urgency=medium

  * Patch for newer EdisonCore.

 -- Clint Adams <email address hidden>  Sun, 29 Apr 2018 08:41:41 -0400
  • agda (2.5.3-3) unstable; urgency=medium

  * Search for .agda-lib files in /var/lib/agda
    So that agda -l standard-library works out of te box

 -- Joachim Breitner <email address hidden>  Fri, 13 Oct 2017 22:54:31 -0400
  • agda (2.5.2-2) unstable; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Jul 2017 12:54:36 +0200
  • agda (2.5.1.1-3) unstable; urgency=medium

  * Upload to unstable as part of GHC 8 transition.

 -- Clint Adams <email address hidden>  Thu, 27 Oct 2016 18:32:12 -0400