Back to alt-ergo PTS page

Accepted alt-ergo 2.4.1-4 (source) into unstable



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