Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)