-----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-----
