Change logs for coq source package in Feisty

coq (8.0pl3-2ubuntu1) feisty; urgency=low

  * Fix desktop file according with freedesktop spec (LP: #49546)
  * debian/control:
    - Updated maintainer field;

 -- Jonh Wendell <email address hidden>   Thu, 22 Mar 2007 09:25:21 -0300

coq (8.0pl3-2) unstable; urgency=low

  * Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
    looping forever, closes: #353493.

coq (8.0pl3-1) unstable; urgency=low

  * New upstream release.
  * Removed unnecessary dependency on liblablgtk2-ocaml for coqide.
  * Removed ocaml309.dpatch and text_view_typing_error.dpatch, integrated
    upstream.
  * Removing rpath from coqide binaries.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  15 Jun 2006 13:32:50 +0100