Ubuntu
coq package

Change logs for coq source package in Edgy

  1. Edgy (6.10)
  2. Change log 
  • 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
  • coq (8.0pl2-4) unstable; urgency=low


  * Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09,
    closes: #340185.
  * Removed recommends on coq-doc which is not in main anymore.
  * Updated standards version to 3.6.2, no changes needed.

 -- Samuel Mimram <email address hidden>  Mon, 21 Nov 2005 19:52:53 +0100