[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