8.0pl3-2 : coq package : Ubuntu

coq 8.0pl3-2 source package in Ubuntu

Changelog

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

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Edgy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.0pl3.orig.tar.gz 2.2 MiB 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
coq_8.0pl3-2.diff.gz 15.9 KiB 4d92c6251b5318cae1489cb083be97ee38fcd9ba6009228ed717e035fe329bf5
coq_8.0pl3-2.dsc 891 bytes e076f3fd5ffab1f602fa035a9aaccd1a2c9c5975b8d7af31bf792d87a12c63fe

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu edgy.

No description available for coq in ubuntu edgy.

coq-libs: No summary available for coq-libs in ubuntu edgy.

No description available for coq-libs in ubuntu edgy.

coq7-libs: No summary available for coq7-libs in ubuntu edgy.

No description available for coq7-libs in ubuntu edgy.

coqide: No summary available for coqide in ubuntu feisty.

No description available for coqide in ubuntu feisty.