coq 8.1+dfsg-4 source package in Ubuntu

Changelog

coq (8.1+dfsg-4) unstable; urgency=low

  * Correctly set Coq_config.best when rebuilding in byte mode.
  * Removed tetex-extra from build-dependencies.

coq (8.1+dfsg-3) unstable; urgency=low

  * Uploading to unstable.

coq (8.1+dfsg-2) experimental; urgency=low

  * Added cmxa-install.dpatch to install cmxa only on native archs,
    closes: #415867.
  * Added configure.dpatch for the configure to correctly detect whether
    ocamlopt is present or not.
  * Use dh_installtex instead of hand-crafted postinst.

coq (8.1+dfsg-1) experimental; urgency=low

  * New upstream release.
  * Removed system.dpatch and next-ia64.dpatch, integrated upstream.
  * Removed the subdirectories common, faq, RecTutorial, refman, rt, tools,
    tutorial of the directory doc since they contain documentation under the
    Open Publication License which is not DFSG-free (thus the +dfsg in the
    version number). The script debian/utils/purify_tarball automates this
    process. This documentation in packaged separately in non-free, in
    the coq-doc package.

coq (8.1~gamma-4) experimental; urgency=low

  * Correctly build glob.dump on non-native archs, closes: #400535.

coq (8.1~gamma-3) experimental; urgency=low

  * Added next-ia64.dpatch to fix the FTBFS on ia64.
  * Correctly install coqdoc.sty, closes: #409027.
  * Build-depend on tetex-extra | texlive-latex-extra in order to allow
    building with texlive.

coq (8.1~gamma-2) experimental; urgency=low

  * Added no-complexity-test.dpatch to skip complexity checks (thanks Julien
    Cristau), closes: #399919.

coq (8.1~gamma-1) experimental; urgency=low

  * New upstream release.
  * Made the package binNMU-safe.
  * Minor improvements of the coqide.desktop file, closes: #383310.
  * Added system.dpatch to avoid erroneous interpretation of ~.
  * Removed assert.dpatch, integrated upstream.

coq (8.0pl3+8.1beta.2-1) experimental; urgency=low

  * New upstream beta release.
  * Added assert.dpatch to check assertions in native mode.

coq (8.0pl3+8.1beta-1) experimental; urgency=low

  * New upstream release.
  * Added --fsets all option to configure to build the theory of finite sets. 
  * Updated coqdoc_stdlib.dpatch, partly integrated upstream.
  * Removed failing_tests.dpath, all the tests should succeed now.
  * We don't need to remove rpaths anymore.
  * Updated standards version to 3.7.2, no changes needed.

coq (8.0pl3+8.1alpha-2) experimental; urgency=low

  * Added makefile.dpatch in order for ocamlopt not to be called when
    compiling on non-native archs.
  * Do not build the pdf documentation for the library since we don't ship it.
    This will avoid the FTBFS because of missing LaTeX fonts.

coq (8.0pl3+8.1alpha-1) experimental; urgency=low

  * New upstream release.
  * No longer providing the compatibility coq7-libs package.
  * coq-libs is now providing its documentation in html format.
  * Added browser.dpatch to use the default Debian browser for help.
  * Disabling checks which don't succeed for now: failing_tests.dpatch.
  * Removed coq-8.0pl3-ocaml-3.09.dpatch.

 -- William Grant <email address hidden>   Thu,  03 May 2007 10:09:01 +0100