Bug#918633: marked as done (why3-coq: package should Depend on a specific Coq version)
Your message dated Thu, 10 Jan 2019 20:50:11 +0000
with message-id <E1ghhHH-00065w-V8@fasolo.debian.org>
and subject line Bug#918633: fixed in why3 1.1.1-2
has caused the Debian Bug report #918633,
regarding why3-coq: package should Depend on a specific Coq version
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.)
--
918633: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918633
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: why3-coq
Version: 1.1.1-1
Severity: serious
why3-coq Depends on coq, but it contains compiled .vo files that can
only be read by Coq 8.6. (In general, Coq .vo files are tied to the
minor version of Coq that produced them.) why3-coq should Depend on the
minor version of Coq that compiled it (like 8.6 or 8.8).
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.1.1-2
We believe that the bug you reported is fixed in the latest version of
why3, which is due to be installed in the Debian FTP archive.
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 918633@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why3 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@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 10 Jan 2019 20:12:24 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Closes: 918633
Changes:
why3 (1.1.1-2) unstable; urgency=medium
.
* why3-coq: depend on the virtual package provided by coq and indicating
the version of the coq ABI (closes: #918633).
* Standards-Version 4.3.0 (no change)
* Debhelper compatibility level 12
- override dh_dwz to use --no-dwz-multifile
Checksums-Sha1:
e44819187d36a1059af49d4520267b4f6e634445 2557 why3_1.1.1-2.dsc
21ba56ed06b115d6335e61aaccfa86a2c5a2b74a 16168 why3_1.1.1-2.debian.tar.xz
e98843b7ed5c860385222e87221f494db73afecd 6857 why3_1.1.1-2_source.buildinfo
Checksums-Sha256:
34691b6e0f26b7c1618917863f4abce5bb7504b50bc6f6d958678ab7663a9264 2557 why3_1.1.1-2.dsc
a52c784c56e4900f974c56bd5d50b5dff62dd7512456aa1296736f1a149ed392 16168 why3_1.1.1-2.debian.tar.xz
458891b11e10e0440a37ae24479dbf1753c92400ef66bd875f38991e8f8d732f 6857 why3_1.1.1-2_source.buildinfo
Files:
65f33c12111e9a9872b5af2cdd2fa584 2557 math optional why3_1.1.1-2.dsc
f205600ef2b425e7f3992b235b55604a 16168 math optional why3_1.1.1-2.debian.tar.xz
4f5d1d7f8166d09321531e3e18186305 6857 math optional why3_1.1.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlw3pqcACgkQdFxHZtTK
zf+KeRAAncjVy9fganXfRcAWmaN+p6QhEEh6LMC+cL8E+0C7IQ2l+ADEpvshjF3E
q2Wz3W5HKdG7nYEgrg/25t+8ngDBEUMDRWYc0wpNlwae0Y2krzjMTGoiW/CpqqSl
fZEb71hBXtOFb6uU8pg2dQP+VUGWyN2DWBRN9O1Xp3Pov+2C9jRN8PSm7uumJIhR
TTGua8r7vO2YK+j0aIpJClbn4FXYTh2XA9AhWxwdDkms4izE7jWx+uRnMagHCs+b
TF0yv5JO2fjlUKWFmwInrKlt5eImHbnWl4Yee4FExM27iYMO4IuAbwpq0iPIPaur
pt6jD6JeEOmEsgkQWPoHTaT5LSrPnEXBHFn4ewVRbgGGBf6srea4fupOAjmixT5H
toLsfCII9FCoi+pVJi+cS2kQHZWsKkSy6ZqnKn8aBJpw5dl1NeW01uklfO2BNhrl
0/vSQdEkzjVVD8MOfJ2/bNEITQxKN9F/QDi536Y0foeR3YmBnzU2mHMuKgy7s4cW
JAFs3BZ2dr/1FuIaRJXOfiUC6kCMeW8Nge0w7cnXGuRd1aqk5s8a7xe//jPvaEwp
aveHfvCbQOARxZA1opnsRLqyVsRoqWOhFwIrEcg2vq2+uBxiLjH/JfEZjhwPCNVj
9NyTyJCP0GgEAVf5g+dIvue2URR2O4uGLgBvY2wPABC4dqxJYuQ=
=SZEs
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: