coq-bignums_8.17.0-2_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:33:46 +0100
Source: coq-bignums
Architecture: source
Version: 8.17.0-2
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.17.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
6d7e3d135425368a71a2da9917d1aa80bbbb09a4 2097 coq-bignums_8.17.0-2.dsc
062de44deb7dcfd9eb57a1c08c5c471c7c119b7b 1856 coq-bignums_8.17.0-2.debian.tar.xz
da0c0473beb268cb648919bf6e614fd8e43b1264 7379 coq-bignums_8.17.0-2_source.buildinfo
Checksums-Sha256:
42b2a2b822e9f2afabc7e5d075f8ac8758aacd457d824a5a21aa53c712c1bf18 2097 coq-bignums_8.17.0-2.dsc
ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af 1856 coq-bignums_8.17.0-2.debian.tar.xz
3ce8c6cfb2d2b2213e85d99ca264858087cc2bf19dbbd93bd36b4b96b6ee65a2 7379 coq-bignums_8.17.0-2_source.buildinfo
Files:
5db79a9db2f4ef57bed23fd090c4596f 2097 ocaml optional coq-bignums_8.17.0-2.dsc
b3e1b9c7a5859d837e7e1b3ae9bc6a30 1856 ocaml optional coq-bignums_8.17.0-2.debian.tar.xz
b1e6a8a01ffcc93c0d03e55f729eab01 7379 ocaml optional coq-bignums_8.17.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQzWwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTI4P/ioa1TP726eq+Cqruv78WTkV2UzoJ9XW
idwiBPjzRBhTZsp0G9KdN5WqVU6aD9Jsoa6J50labTIFv/f2F8fNw/tqKjeNocp9
7YyHNuvg3E/MdMOfEeILnTE6a2xGh0tIyWlNmnJ4l13tBrYq0E9jZwqhReYyJmlE
alqVKhzAZCBZNX36Kgm6YM7GB4urbqOeHzWy9nz+7dEeu+IQDyeptPu++n0j1n8S
6Ed94bIi/Xy7tDOy7MHSEiBOFCjBIib1tIkS+3YBiR1bMOOthF/JQkRjg8P6dF+7
BkF6vgNGnpW51TwGsLoIAE7YmTWrGgfmB0CJtAlqECcFVH5Y3VrJLO3sR46ShmXn
M1VGmt1/ZmODLkkOQCM/2zWemtjNlXB2sT7FN/uLXxMINri4XC/aqEhwspnYLsr4
8oFD55fpl2K8Cw7T+gwHUtrYTPxGCotW/1F8EK54TZy6fv8s1vkcMs1X/XiuGdt5
RAioe94yysuzDlrO0E8aTbTEySw7YjMiUorW4gi8dyOl8UbrT7y31D3fyM7nyAL9
J6UEFnCKR8aXTIb3QmDtKFgfYm9VZ1LBEAMcWsn3VaLagjaj3xMGU3BbLeXCVKJx
g6y58e/W8/WX9QBGNViGLnINM3q+15Sed06no/6i+RrtFm1H4GqvMEjVb8QspJzX
l7+PNHgJ9Qw9
=Ein7
-----END PGP SIGNATURE-----
Reply to: