Change logs for agda source package in Xenial

  • agda (2.4.2.5-1build1) xenial; urgency=medium
    
      * Rebuild for new GHC ABIs.
    
     -- Colin Watson <email address hidden>  Tue, 12 Jan 2016 22:24:00 +0000
  • agda (2.4.2.5-1) unstable; urgency=medium
    
      * [a116bca] Imported Upstream version 2.4.2.5
      * [2c258f5] Update build-deps for new release
      * [7d835fa] Remove patches which are applied upstream
    
     -- Iain Lane <email address hidden>  Mon, 04 Jan 2016 12:56:33 +0000
  • agda (2.4.2.2-4build1) wily; urgency=medium
    
      * Rebuild for new GHC ABIs.
    
     -- Colin Watson <email address hidden>  Sun, 16 Aug 2015 09:51:20 +0100