Ubuntu
agda package

Change logs for agda source package in Zesty

  1. Zesty (17.04)
  2. Change log 
  • agda (2.5.1.1-3build3) zesty; urgency=medium

  * Bump directory bounds
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    upstream build fix with new ghc

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 07:54:20 +0100
  • agda (2.5.1.1-3build2) zesty; urgency=medium

  * Bump directory bounds

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 07:34:56 +0100
  • agda (2.5.1.1-3build1) zesty; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 26 Jan 2017 06:14:24 +0100
  • 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
  • agda (2.5.1-2build3) zesty; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Sat, 22 Oct 2016 04:52:29 +0000
  • agda (2.5.1-2build2) yakkety; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 09 Aug 2016 14:52:46 +0200