Dear maintainer(s),

The Release Team considers packages that are out-of-sync between testing
and unstable for more than 60 days as having a Release Critical bug in
testing [1]. Your package src:alt-ergo has been trying to migrate for 61
days [2]. Hence, I am filing this bug. The latest uploads of your
package failed to build on armel, mips64el and mipsel [3].

If a package is out of sync between unstable and testing for a longer
period, this usually means that bugs in the package in testing cannot be
fixed via unstable. Additionally, blocked packages can have impact on
other packages, which makes preparing for the release more difficult.
Finally, it often exposes issues with the package and/or
its (reverse-)dependencies. We expect maintainers to fix issues that
hamper the migration of their package in a timely manner.

This bug will trigger auto-removal when appropriate. As with all new
bugs, there will be at least 30 days before the package is auto-removed.

I have immediately closed this bug with the version in unstable, so if
that version or a later version migrates, this bug will no longer affect
testing. I have also tagged this bug to only affect sid and bookworm, so
it doesn't affect (old-)stable.

If you believe your package is unable to migrate to testing due to
issues beyond your control, don't hesitate to contact the Release Team.

Paul

[1] https://lists.debian.org/debian-devel-announce/2020/02/msg00005.html
[2] https://qa.debian.org/excuses.php?package=alt-ergo
[3] https://buildd.debian.org/status/package.php?p=alt-ergo

Hello,

Bug #1013362 in alt-ergo reported by you has been fixed in the
Git repository and is awaiting an upload. You can see the commit
message below and you can check the diff of the fix at:

https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/605e7a1e687fe1afa5a0e0b0b35ce8677f304062

(this message was generated automatically)
-- 
Greetings

https://bugs.debian.org/1013362

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 1013362@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)
Format: 1.8
Date: Mon, 04 Jul 2022 09:30:03 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1013362
Changes:
 alt-ergo (2.4.1-4) unstable; urgency=medium
 .
   * Add conditional patch for non-native architectures. (Closes: #1013362)
Checksums-Sha1:
 7318fae1721058c0116cdc0087bfb4779690514b 2282 alt-ergo_2.4.1-4.dsc
 bf110ad335b00ee9e78ac1958dd6b3c06369bb6e 8112 alt-ergo_2.4.1-4.debian.tar.xz
 bed0080a97637c22d655ba7362998a26788af80e 15666 alt-ergo_2.4.1-4_source.buildinfo
Checksums-Sha256:
 181938c414e1768a4cb8ce3414bf8a93be7d0a7a5933d15a2bd414cf50eee7a3 2282 alt-ergo_2.4.1-4.dsc
 ef711d0e7ce3452433b7cb5c49bddeb902e4a483d2ade2246c608830761f78a8 8112 alt-ergo_2.4.1-4.debian.tar.xz
 c7f12cc415aeeff8246b6fcb68faa6e34718001c4f41e86b39aa0279a17856f4 15666 alt-ergo_2.4.1-4_source.buildinfo
Files:
 0a1a73c50360b0a28ecd14a205bc66d9 2282 math optional alt-ergo_2.4.1-4.dsc
 e8bc150888341f45e2923f47984b26ba 8112 math optional alt-ergo_2.4.1-4.debian.tar.xz
 480a429a19e474818b5f2f2e7b3afc2b 15666 math optional alt-ergo_2.4.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLClzQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRP8QP/if8cbfXlWfBoH7GPYF8JqTFl9ZFCyVL
2t19urpQImjNm57E5lCWa6VyKR2Fzxx/YiD1G1HZd8HJKd47zpkiCgxMspuJKQGl
BefhJ0/mzYkDgzN4NjGidxFAIakEwtWugXa4GzM+zR0xTzl8l9jx15vcP55IBdt9
/1ZmJcnf+Cy6qxii0fWkUQ35L0ML8nJE6SsaAQ8oB635uq4anQ6b58TnrSSmpbKI
21Sc+t0iE7n45bi+O2OVk4J69c+8pTfwIJ8h0V5tuGaNnTOSBSvFcDd+GWzTibmC
SQCPE8t5EPpA5rhGKre8uQgoo8GJut5C5ENMQDZPil8uozNGyGuR0/1m7uEjc2va
3llNL8ACCjFzgK/dlyRoLP06BMEQJujownW7/Xm/12710q1xaoMJwMcm7vJ9pzCf
rXhe85zj9rkLXLalfvr2R02yGh0UwPz40zxz3shs0lYSBbucm6XeuLGynPfeuArj
+4yPGT3mwrQtVzsouRf6qR9ACpbGM9Rtb2sSlqcPllfUCbKDRX15tg/RN9LTenzD
y1VttO6Wx7J03Q8g+h1upgaW2EjA2zIPbPfHe8IbiOgyyTAKnoSaVK3bO5Fao55y
qtsmjH7MLDXn0icXUvwpOonz2j1H1ZIWUoPcv3agBtiqAU3jWO79MXryWrob+51u
3/G6AaI/T0cR
=sKfw
-----END PGP SIGNATURE-----