Bug#535320: marked as done (coq: Coq not available with ocaml 3.11.1)
Your message dated Wed, 01 Jul 2009 17:32:13 +0000
with message-id <E1MM3fJ-00044d-Is@ries.debian.org>
and subject line Bug#535320: fixed in coq 8.2-1+dfsg-2
has caused the Debian Bug report #535320,
regarding coq: Coq not available with ocaml 3.11.1
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
535320: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=535320
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: coq
Version: 8.2-1+dfsg-1
Severity: normal
Coq is currently uninstallable in unstable, because ocaml changed its
version from 3.11.0 to 3.11.1. Is such a dependency warranted for coq?
Would a simple recompile create a new (working) package for coq?
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.29-2-686 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages coq depends on:
pn coq-theories <none> (no description available)
ii emacsen-common 1.4.19 Common facilities for all emacsen
ii libc6 2.9-18 GNU C Library: Shared libraries
pn ocaml-base-nox-3.11.0 <none> (no description available)
Versions of packages coq recommends:
pn coqide | proofgeneral-coq <none> (no description available)
Versions of packages coq suggests:
ii cle 0.4-7 Wrap any command-line driven tool
ii coq-doc 8.1-3 documentation for Coq in html form
pn libcoq-ocaml-dev <none> (no description available)
ii ocaml-nox 3.11.1-2 ML implementation with a class-bas
pn proofgeneral-coq <none> (no description available)
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.2-1+dfsg-2
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-theories_8.2-1+dfsg-2_all.deb
to pool/main/c/coq/coq-theories_8.2-1+dfsg-2_all.deb
coq_8.2-1+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2-1+dfsg-2.diff.gz
coq_8.2-1+dfsg-2.dsc
to pool/main/c/coq/coq_8.2-1+dfsg-2.dsc
coq_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/coq_8.2-1+dfsg-2_amd64.deb
coqide_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/coqide_8.2-1+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 535320@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stephane Glondu <steph@glondu.net> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Wed, 01 Jul 2009 17:41:55 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2-1+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 524037 535320
Changes:
coq (8.2-1+dfsg-2) unstable; urgency=low
.
[ Samuel Mimram ]
* Remove upstream url from long descriptions since we already use the
Homepage field, closes: #524037.
* Updated watch file.
.
[ Stephane Glondu ]
* Remove suggestion on package cle (which has been removed), use
readline-editor instead
* Recompile with OCaml 3.11.1 (Closes: #535320)
* Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
ease OCaml 3.11.1 transition
* Move libcoq-ocaml-dev to section ocaml
* Update Standards-Version to 3.8.2
Checksums-Sha1:
484a71fe02d4a9f5b62c43c1500156f94fe37a25 1593 coq_8.2-1+dfsg-2.dsc
e055d7d49e86746c3e6768fc066f5621e814c197 14193 coq_8.2-1+dfsg-2.diff.gz
d03ef4e3007a3c1bb8fb17fffefb8dc632170298 18214944 coq-theories_8.2-1+dfsg-2_all.deb
13092981cf875cc88ffa955bae20ad06c91ce4e3 15303582 coq_8.2-1+dfsg-2_amd64.deb
824db8d1dc99a88f6ae62544d0361b918b301efe 6536950 coqide_8.2-1+dfsg-2_amd64.deb
bbbc9236fb8a36a241ab2dccdf6986e017f82d8c 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
Checksums-Sha256:
98c0d9ca84ced1269f22bcc4c55497fa9d6568dc354f5ad4923443f7e81fe22a 1593 coq_8.2-1+dfsg-2.dsc
bcdb368a342a6e11d949e9cdf99437a196cedee5a8b42aa31846e777c2d6d171 14193 coq_8.2-1+dfsg-2.diff.gz
13f9edd1821fa617dd731e0aabea7c6363440359bcda5ff4f9ec3aca7493703e 18214944 coq-theories_8.2-1+dfsg-2_all.deb
c26e35b7154ab60cf8c43a06d0c5d930d788e2ef7cb8ac7eede19e0294c2184d 15303582 coq_8.2-1+dfsg-2_amd64.deb
f0b10c7b4ecbb45e58b41adab95d2256eef5f3887115168a34571be8a9839780 6536950 coqide_8.2-1+dfsg-2_amd64.deb
86b3c11ed1030ecfd386f941ba42e7b2f34480290578b1f4d445f796cee1181d 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
Files:
2aad42085c4110fce3512ebe17a56d20 1593 math optional coq_8.2-1+dfsg-2.dsc
949d55351b3c4aeffa3d0084e06fc816 14193 math optional coq_8.2-1+dfsg-2.diff.gz
36ecf125fffc6f4c6c6ec1876815a80d 18214944 math optional coq-theories_8.2-1+dfsg-2_all.deb
8fc150ad80c0e669b30ae644d09af8c6 15303582 math optional coq_8.2-1+dfsg-2_amd64.deb
d9178a2cc71fa3274264522d9cef64bc 6536950 math optional coqide_8.2-1+dfsg-2_amd64.deb
290ae65148cd79d7e51b38d44282699b 6043274 ocaml optional libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkpLmPIACgkQBg8odvzgParctwCfUwxCTC0jChOroK2QuP1dfFC6
tWIAoMFN94ChFPSBSdOy/87InxPYAU0U
=fPmo
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: