Change logs for agda source package in Wily

  • 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
  • agda (2.4.2.2-4) unstable; urgency=medium
    
      * [d59dba4] Revert modification of upstream source in
        a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
      * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
        #793194)
    
     -- Iain Lane <email address hidden>  Tue, 04 Aug 2015 14:46:23 +0100
  • agda (2.4.2.2-3build1) wily; urgency=medium
    
      * Rebuild for new GHC ABIs.
    
     -- Colin Watson <email address hidden>  Mon, 20 Jul 2015 14:04:53 +0100
  • agda (2.4.2.2-3) unstable; urgency=medium
    
      * Fix dependency on hashtables
    
     -- Joachim Breitner <email address hidden>  Wed, 01 Jul 2015 19:26:22 +0200
  • agda (2.4.2.2-2) unstable; urgency=medium
    
      * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps
    
     -- Iain Lane <email address hidden>  Wed, 20 May 2015 13:08:33 +0100
  • agda (2.4.0.2-2build1) vivid; urgency=medium
    
      * Rebuild for new GHC ABIs.
     -- Colin Watson <email address hidden>   Wed, 29 Oct 2014 17:33:18 +0000