Debian
agda package

Change logs for agda source package in Squeeze

  1. Squeeze (6.0)
  2. Change log 
  • agda (2.2.6-7) unstable; urgency=low


  * control: Use versioned Replaces: and Conflicts:

 -- Marco Túlio Gontijo e Silva <email address hidden>  Wed, 05 May 2010 23:13:56 -0300
  • agda (2.2.6-6) unstable; urgency=low


  * Fix FTBFS by fixing zlib doc package name. (Closes: #577892)
  * Convert to 3.0 (quilt)

 -- Joachim Breitner <email address hidden>  Fri, 16 Apr 2010 11:43:24 +0200
  • agda (2.2.6-5) unstable; urgency=low


  * debian/control: Rename -doc package.

 -- Marco Túlio Gontijo e Silva <email address hidden>  Tue, 16 Mar 2010 10:15:20 -0300