coq-bignums_9.0.0+coq8.18-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:21:31 +0100
Source: coq-bignums
Architecture: source
Version: 9.0.0+coq8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044477
Changes:
coq-bignums (9.0.0+coq8.18-1) unstable; urgency=medium
.
* Fix cleaning target (Closes: #1044477).
* Make d/watch follow new upstreams.
* New upstream release.
Checksums-Sha1:
37146ae95d92ae4552cdbe8a5ee9aa7c9f8d841f 2146 coq-bignums_9.0.0+coq8.18-1.dsc
5a2ad6feff5d7ae82891e723f2eaee7048a24f1e 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
7b43414d276a34aae59c54ffd79616fe8f9b4321 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
c4f7bf3484558fe700941d29f25cad62cf03a02b 7872 coq-bignums_9.0.0+coq8.18-1_source.buildinfo
Checksums-Sha256:
98b132275771153eeff767e6570a55f717f9db78463fe23603d8dae06db2a44c 2146 coq-bignums_9.0.0+coq8.18-1.dsc
63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
3344a72cf542b381d6b49ee9bdddedd54341a1653e68ff13d0229192e74a8560 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
d3063dd7a8c9d43920afb48c22ae108d8ab76af1a8620f0b733065ce244904fd 7872 coq-bignums_9.0.0+coq8.18-1_source.buildinfo
Files:
03c1b24705775f1bc69a4dc79c9c3bb1 2146 ocaml optional coq-bignums_9.0.0+coq8.18-1.dsc
b89c4155bacceaa8ef4f7dddb787c182 116811 ocaml optional coq-bignums_9.0.0+coq8.18.orig.tar.gz
82eee7fc382fa9e735d72e2c1c180bad 2044 ocaml optional coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
cde75c427a9a77c194b24d1c81b92d49 7872 ocaml optional coq-bignums_9.0.0+coq8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESgkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFXgP/3QFnK3PrbE6bdv/IbPSZPt8bWUXJkRb
X/N6MJ4gINl0qWoV5EJgPdpwusrjG80l/sQ3nTHOy94LO3l+o8jkIHMpAY0xoYq4
nN0VJN+wz31D8gWcgm16eNNOZWurgT/j+WIhAECGOZnqGsJbGjyJN+QMuqqBlv4k
el4q3cst8OdTNEbt+v+YqcJfn3rbsJZDP71twZMHL/pdLDdEHrgfIFvCpXA1bnOd
D5AlCHrdVHR9A9IM8ZPZEXdUaBc4Qm7NSpS5AzmAOOMarJ3+KgxJzzojSLjXt0rm
qJJDPI3Z0YUiG6wAvUnvzYZWicfoLn4/fl1FIGs2Ml84eqKHNocI0i0wLeXq5S+u
WLwonPRAWxNVNA/uAn/27HEO4BMqpCoCOi3xnwp54Lu2fkjut+8RXIQCJRNf3QTw
DA2mxlbDM7+eA5sinRDiCgOSg8P4iV8q1O9H1781On0/q741fN6SYDh/pQg5w9JC
9JRM6whPS8OE5m+Oks+8Ge+9rML5M/2A47Ay/ukocZkAzXtfwWQNuQ/IVAUbNViM
A8gssVl9jcirRMaTRmJpRWu2o5a8Ok+jufrZ+r45EeJpVcxjqbYJifDud3LSQWMl
uBr9gpshwWUuXYrHxZgVekj7H3BRTgze3KR5gE0tZTqITXDOw7ae7A19nQ3mOvcA
kNhqctIdiGbX
=u5Sf
-----END PGP SIGNATURE-----
Reply to: