[Bug 110679] Please sync coq (universe) 8.1+dfsg-4 from Debian sid (main)

William Grant william.grant at ubuntu.org.au
Sat Apr 28 01:17:48 BST 2007


Public bug reported:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

  affects ubuntu/coq
  subscribe ubuntu-archive
  status confirmed
  importance low

Please sync coq (universe) 8.1+dfsg-4 from Debian sid (main). The only
Ubuntu change is the addition/fixing of a .desktop file. Debian now has
that change.

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

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

 -- Samuel Mimram <smimram at debian.org>  Tue, 24 Apr 2007 14:46:59 +0000

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

  * Uploading to unstable.

 -- Samuel Mimram <smimram at debian.org>  Mon, 09 Apr 2007 16:48:46 +0200

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.

 -- Samuel Mimram <smimram at debian.org>  Sun, 18 Mar 2007 13:21:56 +0100

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.

 -- Samuel Mimram <smimram at debian.org>  Tue, 13 Feb 2007 11:38:43 +0000

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

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

 -- Samuel Mimram <smimram at debian.org>  Sun, 11 Feb 2007 18:02:49 +0100

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.

 -- Samuel Mimram <smimram at debian.org>  Sun,  4 Feb 2007 20:38:43 +0100

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

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

 -- Samuel Mimram <smimram at debian.org>  Thu, 23 Nov 2006 14:27:15 +0000

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.

 -- Samuel Mimram <smimram at debian.org>  Tue, 21 Nov 2006 13:33:55 +0000

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

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

 -- Samuel Mimram <smimram at debian.org>  Thu, 13 Jul 2006 16:28:24 +0000

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.

 -- Samuel Mimram <smimram at debian.org>  Fri, 16 Jun 2006 12:59:07 +0000

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.

 -- Samuel Mimram <smimram at debian.org>  Sun, 30 Apr 2006 11:51:57 +0000

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.

 -- Samuel Mimram <smimram at debian.org>  Thu, 27 Apr 2006 13:43:16 +0000
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGMpKsAc+S8KckfcURAnmGAJwMAZCNlmUg2uuXLlBh3CJQ0Jv5ZwCeLy4j
DKMoPX82iH02vcMCa9mo1qM=
=3my/
-----END PGP SIGNATURE-----

** Affects: coq (Ubuntu)
     Importance: Low
         Status: Confirmed

-- 
Please sync coq (universe) 8.1+dfsg-4 from Debian sid (main)
https://bugs.launchpad.net/bugs/110679
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.



More information about the ubuntu-archive mailing list