-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jun 2022 10:18:44 +0200 Source: coq-bignums Architecture: source Version: 8.15.0-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-bignums (8.15.0-7) unstable; urgency=medium . * Depend on a more recent dh-coq to fix issues. Checksums-Sha1: a8463cdafd644745f4240db6ccafd84c8e792e93 2244 coq-bignums_8.15.0-7.dsc 0ac824c254613308dd2415e9c44ed9134d116c13 1940 coq-bignums_8.15.0-7.debian.tar.xz 5b4351791a33fe41ea8d004512016911ac7c9d7d 6735 coq-bignums_8.15.0-7_source.buildinfo Checksums-Sha256: 9474bd8ab34c2a7e96bc244d6c7c7ad11df1c65a747b441255d1fb94d1278cd0 2244 coq-bignums_8.15.0-7.dsc 17c884519998599e8dcfea7107d4bbf9877e8cf042f183e66820bf0551ebd95f 1940 coq-bignums_8.15.0-7.debian.tar.xz de53c7bb21d4d16610b178f201831caf8edf1ade1f945e0cbdf8ed27cc16497c 6735 coq-bignums_8.15.0-7_source.buildinfo Files: 09fcc82f49f52c9e967521b64bb18d28 2244 ocaml optional coq-bignums_8.15.0-7.dsc 7a43715b4dd73edd6cd1ed1fcc46311b 1940 ocaml optional coq-bignums_8.15.0-7.debian.tar.xz 4467834bdb7d71411a305477d68dd5d0 6735 ocaml optional coq-bignums_8.15.0-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplisSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReXgP/3FHMH/mQhgmqqRZq7sdqDgwVMU5wrhL 85E0N834fjokt6U05BIteOGKwSUb3f3xjrPpaKPk3wCZm7n6kchV/1fDQikZn9R+ 883B9EicrkOoVwFwMRHTI+KwoBAU4cBrmmIeP8vdlbdJslZ165kuuz8+jLNcOdaZ 3ws7zmCADkNBxusNdStKfOFNygIghl0YPFwUApB25v9j5VabdnLxmD0C3y5dKVlp NUD1kpuoIYxX46pWeuylqHT/yrZHQIUsxmO3trkMyb8Uh+KX4GIuywWOCBtTxHOx E6+oUJCxz1pvK65F+XadQ5okGopipzwRfxJZewx/WY6z1kjilX30E4yy/fGLOxck DVWI7Q6geFDRvAD6s9uI7Dgsg8U65sQO++b0GVeOoAl2waqrEMozqy5CQYwKxXju U9W4aqEQYy72YMgRDFpCd2jVSWQ3uROirrBGRMI4SZJT8QsihWYAsAJpOBWLXbxc jfj+WO2PO/VEFtA3J3DEz474eQFmrB3d8aM7MaRIHQP21OU/sdgLMw7SSfTgh3Xj nBiph7uQUs2cZEuxlAUkh4L/r3SV6AQ2KnenDBSby7sRj4xncbDgN/oQa4mPe8Um R6wH7qExDvgIlb8Crqt16l9CzRQxCva4b6AsIWAkUzcWhO1dOPwmfSlQBkFwMQGO +AFQdhZjXSQj =sP7Z -----END PGP SIGNATURE-----
