Bug#1038695: marked as done (mathcomp-multinomials: autopkgtest regression with coq 8.17.0)
Your message dated Tue, 20 Jun 2023 10:07:06 +0000
with message-id <E1qBYGQ-003ARe-Ai@fasolo.debian.org>
and subject line Bug#1038695: fixed in mathcomp-multinomials 1.6.0-2
has caused the Debian Bug report #1038695,
regarding mathcomp-multinomials: autopkgtest regression with coq 8.17.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.)
--
1038695: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038695
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: mathcomp-multinomials
Version: 1.5.5-8
Severity: serious
https://ci.debian.net/packages/m/mathcomp-multinomials/testing/amd64/
...
36s autopkgtest [07:23:05]: test command1: coqtop -batch -rifrom SsrMultinomials mpoly
36s autopkgtest [07:23:05]: test command1: [-----------------------
36s Error: Cannot find a physical path bound to logical path
36s mpoly with prefix SsrMultinomials.
36s
36s autopkgtest [07:23:05]: test command1: -----------------------]
36s autopkgtest [07:23:05]: test command1: - - - - - - - - - - results - - - - - - - - - -
36s command1 FAIL non-zero exit status 1
...
--- End Message ---
--- Begin Message ---
Source: mathcomp-multinomials
Source-Version: 1.6.0-2
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-multinomials, 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 1038695@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated mathcomp-multinomials 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: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 11:39:20 +0200
Source: mathcomp-multinomials
Architecture: source
Version: 1.6.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038695
Changes:
mathcomp-multinomials (1.6.0-2) unstable; urgency=medium
.
* Fix autopkgtest (Closes: #1038695).
Checksums-Sha1:
30a00c6eb5c69a9de2a4f3cc92fb1aa447028f7b 2274 mathcomp-multinomials_1.6.0-2.dsc
6f9115c4006ad3bd1d46bdc9815859253f048dc7 8792 mathcomp-multinomials_1.6.0-2.debian.tar.xz
b70f709d4bc5eae2b8ff69cd7107a5f888cb7049 7460 mathcomp-multinomials_1.6.0-2_source.buildinfo
Checksums-Sha256:
c17b74f5b8db433fd9ee657fce8e4e9182f5740b24b4ebe71a0b163b8749fdc3 2274 mathcomp-multinomials_1.6.0-2.dsc
e56bbd4e081b4a456244fc85f9d9a6ee7fe585592f8d171176660f9f662559d9 8792 mathcomp-multinomials_1.6.0-2.debian.tar.xz
cc6858fdaa5f74830c258a18916e9b04bcf4b9a5b5656b8bbb01279a0f6978f7 7460 mathcomp-multinomials_1.6.0-2_source.buildinfo
Files:
6a64d0fb3ecad4b2a9cebd8767b2d766 2274 ocaml optional mathcomp-multinomials_1.6.0-2.dsc
478f1b3249c042194be2b7949f719cf4 8792 ocaml optional mathcomp-multinomials_1.6.0-2.debian.tar.xz
c0fdd42e6a1c3ca156b1de955b69ff26 7460 ocaml optional mathcomp-multinomials_1.6.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdA0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNy0P+N+asz87qzVzTAVBSfVdPDXJUHB12LGn
nns+dzsKF1cdvvzQ9GOP977kbL1/PjlnDMenaPxOz5cu33Myvgr9j1p+QA0B8a3m
v2ur/XsNK+kxJbOwf5SlHWJasaDgJO/iwDeDaCUUmDmVGCRvLu+jP4N9PmwSsUyT
9rqrq6cpLUlOw6cH6X824cAJTkRTBeJkLNasKmYYJ11t9cyl9w2KrVWb+C4MmBGj
0Y3nF0FsqIBeKZm92ZbNMznYHe9LNq4tmhiRKdTjGVK9Y+8GpxroOMLYh2FiUa2R
LdZF9ROWHG6pf6OhQd22xIV4MG9YJCIJT6xiLNflgl2r29G0rk5DHOAMkqycziMI
ld7PuXlxzyAIl1RVV6w1QGthN3a27PiZMbC3GzbmQshzMO7+nPZS55jKbERsiBRV
8YorkpwgoifPDUPfDpjRB8/3n9Hl1qg2AUFbvOBjbs6hy+HAuHqbiClfw79ClycS
Nnwh1b+xeYHBXS9uZB6l9FV0wOb8VTqvXmS5N5sFxbtsU/atMIEpoPVSlkQQiRgL
b1dPz1t5Bu0ZFOAsoV1l2aIofyv05zCROActF+bR5V4RMzBdw7kKheFoNd7nIJAE
Tol+I3+7YdCYm5I2kRFnw3sgAeVIRauNW/fjspXiRuc2mUJfe+vBn86TJ/TAASzN
+TktHbwO9aY=
=cR9j
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: