[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3
Ralf Treinen pushed new tag debian/20220511-manganese-3 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/tree/debian/20220511-manganese-3 You're receiving this email because of your account on salsa.debian.org.
frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2022 21:00:26 +0100 Source: frama-c Architecture: source Version: 20220511-manganese-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 1023712 Changes: frama-c (20220511-manganese-3) unstable; urgency=medium . * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712). As a consequence, remove dependency on libwhy3-ocaml-dev in the tests. * Standards-Version 4.6.2 (no change) Checksums-Sha1: a85e80371c3d63345d9c4a65d58294c2bf60da92 2407 frama-c_20220511-manganese-3.dsc 475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz 8b5eab2be1cc039adca5ab64e13956aafb244580 16723 frama-c_20220511-manganese-3_source.buildinfo Checksums-Sha256: d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c 2407 frama-c_20220511-manganese-3.dsc 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz 465603f5fbe682045246fcc3055923468b6584b2553efbc3c8c107311e9ae96a 16723 frama-c_20220511-manganese-3_source.buildinfo Files: 9cc2dd85f24b9a840d2114981f12aa73 2407 devel optional frama-c_20220511-manganese-3.dsc a32f321c9473966208af467abba35c1c 16200 devel optional frama-c_20220511-manganese-3.debian.tar.xz e7a82f9c3f6a02cf94594088ced80dd1 16723 devel optional frama-c_20220511-manganese-3_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmOrYPgACgkQdFxHZtTK zf+iZRAAgaPbKJu5seMHo9Oi6ChiGK/VYe76iV8Rkfo96JH+xaGvf3YI34oTC54o bSxudhNNHxIfq0ZH6LyhgoPHyDGh4fI4aE3OsHyaFH24fAx+JzagUlHwIWu4Q/fo YoJXMuHzQJSoOwhuyeKGQ22mKGPIdX38KFrtZT+zGUTPBiYQdigvBBzdmsu5LXZT eNPMTsjv/HQkW04+Yk8n7NNl4uh3fUnHcWNMRS/lzypGN430o/Q+UclmAcKdlaNF LLosKoCh3PpLQdJ11o7uYZQXp9QC1KJ6Rbm0gm7y5v7Jn3PuYZ0Uv4PiJ1oAskGC LEuNC/6JgqPrzNKmybK6n+vcOCncwJKzDuBh2EniZ7inW7yYlKdHT8MMM9PL4xzj ZfE5Aq86x1HXUL3yAc/cb+mKuG5CgfDe7LdoBtbbAH1MkzASgpVuWvkYkMzqLy0r Q9xq8cvzXCn8rFgPNCp46eLmm9GbR7Zcu61TfP+nrDevh/gst8DLSmeS0SNAOCbm PicCsf7w/3aBTRUZYkHGjvvUISSBKysg0CfeJ7IU7pSpoB5Ge9EA3xprwPuG8rRW SILRtSzMzn9TudjTkFJ8R8MFVade2PsWJgFnq5A0MXOFQVzsstZneeWNXO+C/96K 8XHKfxYuj+qHC49Dz1iyjRbeLHqrxzf5q/LhsgYZFCDOsRKtMiM= =ZTaO -END PGP SIGNATURE-
Processing of frama-c_20220511-manganese-3_source.changes
frama-c_20220511-manganese-3_source.changes uploaded successfully to localhost along with the files: frama-c_20220511-manganese-3.dsc frama-c_20220511-manganese-3.debian.tar.xz frama-c_20220511-manganese-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Bug#1023712: marked as done (why3 breaks frama-c (autopkgtest): missing versioned Breaks?)
Your message dated Tue, 27 Dec 2022 21:35:54 + with message-id and subject line Bug#1023712: fixed in frama-c 20220511-manganese-3 has caused the Debian Bug report #1023712, regarding why3 breaks frama-c (autopkgtest): missing versioned Breaks? 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.) -- 1023712: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023712 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: why3 Control: found -1 why3/1.5.1-1 Severity: serious Tags: sid bookworm User: debian...@lists.debian.org Usertags: breaks Dear maintainer(s), With a recent upload of why3 the autopkgtest of frama-c fails in testing when that autopkgtest is run with the binary packages of why3 from unstable. It passes when run with only packages from testing. In tabular form: passfail why3 from testing1.5.1-1 frama-cfrom testing20220511-manganese-1.3 all others from testingfrom testing I copied some of the output at the bottom of this report. The message seems serious enough (to my eyes) that you'd want to prevent this on partial upgrades and during dist-upgrades. Does why3 (version in unstable) really break the version of frama-c in testing? Then adding a *versioned* Breaks might be a good idea. Maybe the failure isn't as bad as it looks, then please just close this bug report (but be warned, why3 might migrate then, while the fixed frama-c seems stuck). Currently this regression is blocking the migration of why3 to testing [1]. Due to the nature of this issue, I filed this bug report against both packages. Can you please investigate the situation and reassign the bug to the right package? 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=why3 https://ci.debian.net/data/autopkgtest/testing/amd64/f/frama-c/28047266/log.gz [kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module Details: implementation mismatch on Why3 [kernel] User Error: Deferred error message was emitted during execution. See above messages for more information. [kernel] Frama-C aborted: invalid user input. autopkgtest [20:18:19]: test eva OpenPGP_signature Description: OpenPGP digital signature --- End Message --- --- Begin Message --- Source: frama-c Source-Version: 20220511-manganese-3 Done: Ralf Treinen We believe that the bug you reported is fixed in the latest version of frama-c, 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 1023...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen (supplier of updated frama-c 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: SHA256 Format: 1.8 Date: Tue, 27 Dec 2022 21:00:26 +0100 Source: frama-c Architecture: source Version: 20220511-manganese-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 1023712 Changes: frama-c (20220511-manganese-3) unstable; urgency=medium . * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712). As a consequence, remove dependency on libwhy3-ocaml-dev in the tests. * Standards-Version 4.6.2 (no change) Checksums-Sha1: a85e80371c3d63345d9c4a65d58294c2bf60da92 2407 frama-c_20220511-manganese-3.dsc 475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz 8b5eab2be1cc039adca5ab64e13956aafb244580 16723 frama-c_20220511-manganese-3_source.buildinfo Checksums-Sha256: d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c 2407 frama-c_20220511-manganese-3.dsc 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz 465603f5fbe682045246fcc3055923468b6584b2553efbc3c8c107311e9ae96a 16723 frama-c_20220511-manganese-3_source.buildinfo Files: 9cc2dd85f24b9a840d2114981f12aa73 2407 devel optional frama-c_20220511-manganese-3.dsc a32f321c9473966208af467abba35c1c 16200 devel optional
coq-bignums_8.17.0-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 27 Dec 2022 11:02:29 +0100 Source: coq-bignums Architecture: source Version: 8.17.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-bignums (8.17.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 38c473d007ffb19f5c68b3d6a457f8e5aae64f83 2092 coq-bignums_8.17.0-1.dsc bf8aec1b920f2abeae4824057e31f513f28fd074 116104 coq-bignums_8.17.0.orig.tar.gz 819798e90f839fb95ff2d694d85617a441dab5fe 1800 coq-bignums_8.17.0-1.debian.tar.xz fc0a68dc0abcee8c389b86b44fff813f21a265a2 7597 coq-bignums_8.17.0-1_source.buildinfo Checksums-Sha256: 8cfa74912a0d01a422f4f2a49e758a063d3dc2d5a026ad90a67437c207f0818b 2092 coq-bignums_8.17.0-1.dsc fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz 411019ffd53802e3fb363e736b13a282e9c82096bd0990d3c2b3bbc1fe420098 1800 coq-bignums_8.17.0-1.debian.tar.xz a8d88339ddfa5a1de0cc5f37a73f62babfa0222ae9c1bc3d94be2bfa5b1f96de 7597 coq-bignums_8.17.0-1_source.buildinfo Files: 4f6552d6df270b40328244598930e01d 2092 ocaml optional coq-bignums_8.17.0-1.dsc 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 ocaml optional coq-bignums_8.17.0.orig.tar.gz be6667ded8c6691d259745bda1cb446d 1800 ocaml optional coq-bignums_8.17.0-1.debian.tar.xz 55a8ab36b3c786dc2e1995f57e537df4 7597 ocaml optional coq-bignums_8.17.0-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOq0aMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVEMP/igLxTiNpLd0cyiwIbCMiZQDeRJETlNe FfPX97cf0H5f4GZgwy2rCKAwdeG3JhaHuBnN/WOBtKj9jRK74K/0jNb/FP4ykBxh vTAqAXWMJXnO6drkdfzQET6FxKfAPnfiGOsDa6pAbtvcYBh6p2VupGdMgQR7YNlw a5If54wdt4shNvOyFoOhCYwMIDCatQlxhfzKQj5hipPgPBKdN5ZM9B+pNvXB7mtZ TM/miRfmn+AZ5TWyuuGEhsHJPdZ+EsmF6TYJZqaZgtHNt+zSmIwUiJW+NnbrEI9L vZBkOAtky8IQBI76Ka5BpWh0JCY+6AFnfSUL8G2t8nuSe0BW0dI5+ErmDPvPRpy+ FFuRxxMK56PFT9l4D2DVyNneBuZ9xtEABlBM/IawH7mffz+JS36QNA788jzRmMZG MRuTJ3aCEWmj6Fqd6Duo9384NTZ2F1dH+G2b43wv882VQ3/hSLAl5rPJL4c7EesB hCRpAzLyeKNVTnUzqyQBwPYjrUcmiscbITjr47u42QGopA+x3mn3sRiE1CtdVaof 5zQSaxmMfnNIJlHmFFrU/sG2ZFqzbCPDuVqPSZEqJsiX87JbY/3O9ZzSpaXMncWP T4xx1t8bIDgSWv/bUyf8F1KFdBxpMN9O0Dx4W58mr2oAqTS2H96Rs6oEizXpc9A9 39dTt+Pc7Usb =BpXm -END PGP SIGNATURE-
Processing of coq-bignums_8.17.0-1_source.changes
coq-bignums_8.17.0-1_source.changes uploaded successfully to localhost along with the files: coq-bignums_8.17.0-1.dsc coq-bignums_8.17.0.orig.tar.gz coq-bignums_8.17.0-1.debian.tar.xz coq-bignums_8.17.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
