Accepted coq 8.1+dfsg-4 (source)

[Ubuntu Installer]

Accepted:
 OK: coq_8.1+dfsg-4.dsc
     -> Component: universe Section: devel
 OK: coq_8.1+dfsg.orig.tar.gz
 OK: coq_8.1+dfsg-4.diff.gz

Origin: Debian/unstable
Format: 1.7
Date: Thu,  03 May 2007 10:09:01 +0100
Source: coq
Binary: coq, coqide, coq-libs
Architecture: source
Version: 8.1+dfsg-4
Distribution: gutsy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: William Grant <william.grant at ubuntu.org.au>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Closes: 383310 399919 400535 409027 415867
Changes: 
 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.
Files: 
 2e11ed265fa50b1f56a03728532e6a46 1079 math optional coq_8.1+dfsg-4.dsc
 8873d8cd71bfcf263fab1d34b94a0dce 2512805 math optional coq_8.1+dfsg.orig.tar.gz
 f25afce574db7f7b25bb59f5eb73d68e 14623 math optional coq_8.1+dfsg-4.diff.gz