-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jun 2022 10:16:08 +0200 Source: dh-coq Architecture: source Version: 0.3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.3) unstable; urgency=medium . * Mark the package as Multi-Arch: foreign following hinter. * More robust parsing of the b-deps. Checksums-Sha1: 5daad029e0e705b70210b279c98fd09125ebc6da 1587 dh-coq_0.3.dsc 74e9a233de52cba176afc86194e26999abf52e01 3832 dh-coq_0.3.tar.xz 67bb3ed3164977746f333944085ce37167f05146 5615 dh-coq_0.3_source.buildinfo Checksums-Sha256: a148152239d7d7fc89932e3991e4fea6a4c153f36681d4d761700e58231e00f3 1587 dh-coq_0.3.dsc 523debf6a81e864fa4687f01c6867a09191425b5618c26b2d03cc6edcd0377ae 3832 dh-coq_0.3.tar.xz 63efabdec048349290cb3d26585a519c4ee58226009ceefcb4c68f0b4457d03a 5615 dh-coq_0.3_source.buildinfo Files: 8842325ec51dff8cf8adba537f8848ea 1587 ocaml optional dh-coq_0.3.dsc 33d52f87d57ce0f3891c6960f049b47a 3832 ocaml optional dh-coq_0.3.tar.xz 6f5a0e726b728e52c70cecca31bb0d02 5615 ocaml optional dh-coq_0.3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplV8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR7L4QAIvdzn5RE6tCG0LK/g3wWtJ8zF+nQVXF d77ygJpZVlE8lbVRQnhnAAHv8Xdp+h9qxla7oRH04ZhaoO/TbRpQFcEKfbyQnpjr dL/47rw0RP/9LUkcJaHjLC9m9u+Np/vlZSBBoNGzNegXC5UYCA+UWn01C8IwROVJ V6nLTyfFtaa1kHBK+dm3ESrU4VsgRH4w7DT2iuQDs8Nuv6W1Y7pF+Z6Y/6FlfTWQ iG6YGEq+uogfreLKcgJQ6Zhu1BSH9ebGm8qmz8JULnCNhhrgJRBvEoKEtwG0JDqg arP3MzM0lxVsv/Yv5qgb4GJExtASEfQUqnPbSHz+0bKGyzYVJ3Wwjj49X2GpY82v UGx03m7eWSNGPBmIFuwGzJUDI6hW57+hgOtfREOep6yEeWHHAQAqI4GAzDNGCBbB sJkt2iEtIyIycsFPO68eCNR+lb8FpqHHUjpRUG1fNTIkXq0e7i+PYKUIX5NjgEYt Epfdv1VhKvFYnd+offxN4PrqrJ0XBjkQLGChQ9IA0S8iHmrV8F5+SdDPzPj+K6eB aiSstRJU6ptRZEmG4N9rdUXpzL3U+be3TbH7o1cqUQaafaDZKPXWW17vFMjN0Lcs dRY1lCxQwYjkKoxCEWtsuLd99x946Jl7BgYtj33k5G1N0kFcM2EAGa2fDRS39PN/ gqxDE/vPyw9x =E78w -----END PGP SIGNATURE-----
