coq-bignums_8.15.0-7_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: