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

Bug#1011966: marked as done (alt-ergo: autopkgtest regression: /usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory)

Your message dated Sat, 28 May 2022 07:03:48 +0000
with message-id <E1nuqUG-00064o-B7@fasolo.debian.org>
and subject line Bug#1011966: fixed in alt-ergo 2.4.1-2
has caused the Debian Bug report #1011966,
regarding alt-ergo: autopkgtest regression: /usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory
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.)


-- 
1011966: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1011966
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: alt-ergo
Version: 2.4.1-1
Severity: serious
User: debian-ci@lists.debian.org
Usertags: regression

Dear maintainer(s),
With a recent upload of alt-ergo the autopkgtest of alt-ergo fails in testing when that autopkgtest is run with the binary packages of alt-ergo from unstable. It passes when run with only packages from testing. In tabular form: 

                       pass            fail
alt-ergo               from testing    2.4.1-1
all others             from testing    from testing

I copied some of the output at the bottom of this report.
Currently this regression is blocking the migration to testing [1]. Can you please investigate the situation and fix it? 

More information about this bug and the reason for filing it can be found on
https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation

Paul

[1] https://qa.debian.org/excuses.php?package=alt-ergo

https://ci.debian.net/data/autopkgtest/testing/amd64/a/alt-ergo/22180660/log.gz
Fatal error: exception Sys_error("/usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory") 
autopkgtest [23:11:40]: test valid

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: alt-ergo
Source-Version: 2.4.1-2
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
alt-ergo, 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 1011966@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 alt-ergo 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: Sat, 28 May 2022 08:36:08 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1011966
Changes:
 alt-ergo (2.4.1-2) unstable; urgency=medium
 .
   * Team upload.
   * Ship the examples (Closes: #1011966).
Checksums-Sha1:
 3ed04315627dc7753d314ca7e0ee7f0bc26d0ed8 2271 alt-ergo_2.4.1-2.dsc
 0e5e3f8d4fd49c3a247eb1dd6eaee6d8b4c81cd1 7136 alt-ergo_2.4.1-2.debian.tar.xz
 ea74c3966c33b5ab8a220de451517fd300b38fc0 15558 alt-ergo_2.4.1-2_source.buildinfo
Checksums-Sha256:
 59b9997dde83b1206a93326b8b72d630dba6999bdf48b8ce6675877cd38720a7 2271 alt-ergo_2.4.1-2.dsc
 d0665637409757526e8beda242ca5eec28875d48c2fce0896e3b1c400c893ccc 7136 alt-ergo_2.4.1-2.debian.tar.xz
 0b19aedad10ae43b055c55940c17f62a64875b329a743967258920b2a75292b2 15558 alt-ergo_2.4.1-2_source.buildinfo
Files:
 3a956a5768241d8b2bb8edb6b1c2b1d4 2271 math optional alt-ergo_2.4.1-2.dsc
 df160fbd8bce7cca14466fedf992d346 7136 math optional alt-ergo_2.4.1-2.debian.tar.xz
 7a4756340566362b6ede7cd9ac49efa0 15558 math optional alt-ergo_2.4.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKRwvkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfyoP/jZkJ2FryVC/CTyApm6XLjbog4LcJyDl
drY79yTD7nVpiCoHbORL043LYG4WtXAgAGUWdOXCg7dv/3RD7kMXyYeQ0L+Iat7S
R442jNQdalzRUH5Vod1byxETVmE7xA+cOzFSN2Yk/YShAfycv0GTEYBmcFyqUeac
wZmYa0BVf2QjvsVF8dgLhAItuDwSQc3CfDBo8JnRU+IoKapEUngGJ0Bp5Dn9Gtw+
rif/jSHiWddwFXuc5Bx1zq2fluxovR12xKX3iVcJ6Yjhs+6M9Vf1l6Ux73caUYog
SS6+dTmL3KQZGHg7gcR/0/zmgya2PjbCSjk1KnbOHceHufY4xszuUwtPBtXSV2Ae
F2Ci7Z++B47CgBI5el0K94+uYiR1tLPHCCGpGFbqa5A0pC+l3gJYB1XE7l9ZDFq+
E+ZZCeFTpMEgFshtt1fmIIPgG75TGZ59OWdA8BKwS6IOhY8yxarmEhLKf3jVVV85
hUw5RgEMTR7CmLL8wv4/3svho6SPE+C/HQ0OeJF8WCtuKVZDJ/ajGwXalAL5t2QW
q1hVUUmBAyJfxzS/hcKpS7QRrN62xCSmsUo1aetZ7YTXwRUAILhiilYnYyn1h21X
Uwm1SwtJopLdRFvVKhma8EdxRNatw/YfEplWyRcFKxtvcoWS4mvuK2vFeUgtx1Z9
0cODbCNSr5+f
=vgnn
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: