Your message dated Sat, 28 May 2022 07:03:48 +0000 with message-id <e1nuqug-00064o...@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 ow...@bugs.debian.org immediately.) -- 1011966: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1011966 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: alt-ergo Version: 2.4.1-1 Severity: serious User: debian...@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.gzFatal error: exception Sys_error("/usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory")autopkgtest [23:11:40]: test validOpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---Source: alt-ergo Source-Version: 2.4.1-2 Done: Julien Puydt <jpu...@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 1011...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpu...@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 ftpmas...@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-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@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 ---