Bug#953765: marked as done (coq-float: FTBFS with coq 8.11.0)
Your message dated Mon, 16 Mar 2020 10:49:26 +0000
with message-id <E1jDnJG-000IQO-PT@fasolo.debian.org>
and subject line Bug#953765: fixed in coq-float 1:8.10.0-1
has caused the Debian Bug report #953765,
regarding coq-float: FTBFS with coq 8.11.0
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.)
--
953765: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=953765
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq-float
Version: 1:8.9.0-1
Severity: serious
User: treinen@debian.org
Usertags: edos-uninstallable
Hi, coq-float fails to compile against coq 8.11.0:
COQC Faux.v
File "./Faux.v", line 218, characters 57-61:
Error: The reference Zabs was not found in the current environment.
make[4]: *** [Makefile.coq:678: Faux.vo] Error 1
make[3]: *** [Makefile.coq:327: all] Error 2
-Ralf.
--- End Message ---
--- Begin Message ---
Source: coq-float
Source-Version: 1:8.10.0-1
Done: Ralf Treinen <treinen@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-float, 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 953765@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 coq-float 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: Mon, 16 Mar 2020 11:08:42 +0100
Source: coq-float
Architecture: source
Version: 1:8.10.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 953765
Changes:
coq-float (1:8.10.0-1) unstable; urgency=medium
.
* Team upload
* New upstream release, compiles with coq 8.11.0 (closes: #953765)
* Add debian/upstream, containing the reference of the TPHOL paper
Checksums-Sha1:
51baaa86090bd2935eb4cb34d260344f5662955e 1947 coq-float_8.10.0-1.dsc
a95041e42139725d0d0930abdf92d11b3b5b8905 99147 coq-float_8.10.0.orig.tar.gz
ea51103d6c475297de0c5e4c59c6f45d84a3f840 3360 coq-float_8.10.0-1.debian.tar.xz
7e7ebb88e1bf6cbd95fc318486bd958cdccfc743 9920 coq-float_8.10.0-1_source.buildinfo
Checksums-Sha256:
c3fc3fe55ae235432900519627df7673cb660f07df755cb335c11fd001e5e061 1947 coq-float_8.10.0-1.dsc
e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea 99147 coq-float_8.10.0.orig.tar.gz
d1bd0ca61d5c38ffc8789eb5a6cf808f2f913bac1c790ee8db531b03c6343f8f 3360 coq-float_8.10.0-1.debian.tar.xz
34687ec06225f22e58e7ef7d7e4a78647a20f95d0c6ea576811bbf7b793a92dc 9920 coq-float_8.10.0-1_source.buildinfo
Files:
3cd8ec6ce7005575bd8c23c1570f2f3b 1947 math optional coq-float_8.10.0-1.dsc
29d80b937683f8384fb505c9a6a396db 99147 math optional coq-float_8.10.0.orig.tar.gz
bf2327ae1aaa487bacea340d7a477270 3360 math optional coq-float_8.10.0-1.debian.tar.xz
2d3feb50a7145a5941dc6964db4fe53f 9920 math optional coq-float_8.10.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5vVMMACgkQdFxHZtTK
zf+zCBAAr+sqqAVKbVxN+Rww4dIeWj3KT0JR5+ZBTL/9Aa9g540KoL4MqyEDHdeM
jXbQnX6cZMQVpB/1tGsQa13sJIycy/goo4JMvjuQFX1ANR3zAJ+eYX3tgCrGCPv4
iiu8ueUrfMV0keQDLG4PrMt88Sp44guJ0sqNovTtFnTu5DBaeF5d34SU0+OWuNRW
bAmra+Lt5uXLjseMTmvTIJ0X02ZmzIpQS8JMg1fVyHTqASuFJ/1SOMqzlSvv/xno
5J9Lqe96EOsEAQT/BX9+TOgsfugo2VNeJNuQxc/wDlECIMb8s8q7blRmTZKU6BfG
Pj2uc39Jzp1T8D6Gg4A8tOC8dm/uV6sv6y0nNjxKWcf4sV7vWXWy7MQTvArvo5kd
9ie2ZFI8IrzdZ5AsbX+Cp2PPAFJrQZSisBrdfpOVfCf0Ow6MUHgkwOdhZo43Pwdl
WkK4EfCFzYWVd2Z1DPiIgl4QojmTH/VXSbisue5GtusZgakNv3peJzUOxcTcxlJV
blw9fL2tbw7UAp8CRxH57LRouIr3K9doo1uPDroDGjhv5HEedj5ziHqhGEAHNxms
k8N7Z5M6VhY3VTltUHDgiJCWSlvqa30uucQ3ImVMm2es59rpRHAnSi71dxHpxOr1
Oq8ukWUmk1Wp2kGuAH37GqBqmbvuhnMcYJAAq7PENslyjzTF0Jw=
=pOlU
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: