[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1019571: marked as done (paramcoq: autopkgtest failure)

Your message dated Tue, 13 Sep 2022 07:18:43 +0000
with message-id <E1oY0Bv-003jE6-4S@fasolo.debian.org>
and subject line Bug#1019571: fixed in paramcoq 1.1.3+coq8.16-2
has caused the Debian Bug report #1019571,
regarding paramcoq: autopkgtest failure
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.)


-- 
1019571: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019571
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: paramcoq
Version: 1.1.3+coq8.16-1
Severity: serious

https://ci.debian.net/data/autopkgtest/testing/amd64/p/paramcoq/25968228/log.gz

autopkgtest [22:17:33]: test upstreamtestsuite: [-----------------------
/tmp/autopkgtest-lxc.7qclpa4k/downtmp/build.ZbD/src/debian/tests/upstreamtestsuite: 6: coqc: not found
autopkgtest [22:17:33]: test upstreamtestsuite: -----------------------]
autopkgtest [22:17:33]: test upstreamtestsuite:  - - - - - - - - - - results - - - - - - - - - -
upstreamtestsuite    FAIL non-zero exit status 127
autopkgtest [22:17:33]: @@@@@@@@@@@@@@@@@@@@ summary
upstreamtestsuite    FAIL non-zero exit status 127


Cheers
-- 
Sebastian Ramacher

--- End Message ---
--- Begin Message --- 
Source: paramcoq
Source-Version: 1.1.3+coq8.16-2
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
paramcoq, 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 1019571@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 paramcoq 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, 13 Sep 2022 08:57:59 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1019571
Changes:
 paramcoq (1.1.3+coq8.16-2) unstable; urgency=medium
 .
   * Unbreak autopkgtest (Closes: #1019571).
Checksums-Sha1:
 868ca9bc5ff4ec4a77b78767375b8c98b29506e4 2106 paramcoq_1.1.3+coq8.16-2.dsc
 4c4226a7f22db47c83a76de4325650dc852ae8ce 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 ef189bc5871e2315949048388c8f71e811c17555 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Checksums-Sha256:
 8e0ecf1e99b7bdd14c10af2dfc3cf931cc3acf8054c5e4a7262d1ac2a0182197 2106 paramcoq_1.1.3+coq8.16-2.dsc
 cff5b7476f20a5f0240eb8ab5dbec7c0bbcb3cc44e2f016a4f75d3bfcbc437e8 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 4900b1793cdf664536e04c3b2a9c68503ee1e2f1deba86c9a4cb640b324565f6 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Files:
 c5a87eb986e64d67aaea41cfa77f96bd 2106 ocaml optional paramcoq_1.1.3+coq8.16-2.dsc
 b11f7a896c1eceb49548a2285873728b 2844 ocaml optional paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 f24099a60a2fbb1e2e5db64769eaf1fd 6962 ocaml optional paramcoq_1.1.3+coq8.16-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgKhUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSIIP+wSBgIhkoYVPnt4InRN3DF+3H/xAt1Rv
vAEOwIObltMIJ0ZPPxzEZlSEI5YNKDzJfSoxBXmnoj34KVDrk4IITJys8XcmRSc9
POvJea7pR9AVgqoJg2YOeZZbsXwl25f6tOUEnAKj1P3jd91dkK2cEggKA370pHBP
34RAcy2t+Xw0g4sG6xKiv/MhKjz8hEibTAw6K6yBI9MgWmUPOTq8dWo6GRhwrUno
rPwgwmU5zVCozK9WvKLtztEU2sGjkPz9M74JHxQZNPfpnMjxhqx5bf6rlG37kVJ5
vsg2gxJs5pN07lTtHoAlf7kmUmklfVFaQosV1/7EOnH+ELx2JnRGKQMf/UxwU03h
UOhMwrmzxBag5kjIQyI1wJd9Q9AitxDuRcNKqZboM171UcUlzqytYfDFUuIpHoxb
kz/7inGON6bnFt7SBlLia9Tz0dpuQKBfUYtPBcH2ie2SGXZZotJAEvx2qgvPA+Nh
Vdk9CGJ1LDPWoMMvi/g8I/sAPRvH2egel2pSBzI356J7Gga9HKj7X+vg/8X8ZKFq
ZCb1hf3p7JqTtzMNofx/ifr1H/+YfnELoxO96pHsTYGAPTv5hImAWW69d4JvgA/v
IWbiIxDXGc539WVk8Otniwd/ZRC40TacPZwmMdtHDDEcasb6eYeoyrOkvv7fUMFJ
Bw08fvns7NDA
=MLc7
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: