Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 24 Feb 2024 09:51:53 +0100
Source: coq-bignums
Architecture: source
Version: 9.0.0+coq8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-bignums (9.0.0+coq8.19-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
ab4e58ae5bae0974c778a8863a8bfc5924cabee2 2146 coq-bignums_9.0.0+coq8.19-1.dsc
2c17c83a2690808497fcb029dcf464ae9cbbcc23 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
83230952b982e0540e663087e589c0e39eec88fa 2068 coq-bignums_9.0.0+coq8.19-1.debian.tar.xz
ec5b55ffd303c7e0f6707a278e31daa665386193 8377 coq-bignums_9.0.0+coq8.19-1_source.buildinfo
Checksums-Sha256:
74a8028a69d34b17c52604cff76d7381894c7a70c08e68ff03fcd4aa962a1a3c 2146 coq-bignums_9.0.0+coq8.19-1.dsc
9ab4a155d301629faf1cc6c10682fb657bfa9df5ce52269316b43109069231db 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
66d78ffb42d2e1a4b7f77ee5ef915c51fbd020431ad4e51b5cfdb896b0bbb2ff 2068 coq-bignums_9.0.0+coq8.19-1.debian.tar.xz
1c2ff1b6f7f31d45bee2efe100955a6bb88a2ffc53fa9965f2fa747ebbcfda13 8377 coq-bignums_9.0.0+coq8.19-1_source.buildinfo
Files:
bcd69ef5429c8a92444c42e09e6494ea 2146 ocaml optional coq-bignums_9.0.0+coq8.19-1.dsc
73a3b64b854f1a5357ce175bf3852744 116822 ocaml optional coq-bignums_9.0.0+coq8.19.orig.tar.gz
85a5997f88281f62299b3a74dd8de330 2068 ocaml optional coq-bignums_9.0.0+coq8.19-1.debian.tar.xz
2268ead86b820d46abb8630b37f1bb16 8377 ocaml optional coq-bignums_9.0.0+coq8.19-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzfUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRlJQP/0BkFDoR3cJ5Jc+2ZdYbwv8yp/1X/KU+ Lmp5LimYRon1NmQs3MSq6tsMMr3c6aWjVd1at2s6OtmEaAhW0F0+q676wf7IfCsF wxPMzhBHASL2WRrf5LLuOiIzn1PD5gjTIPtxfQmqh8SDvmTKr8w4hF/G7GH8hGan g2czFt3Pqtv7C/9ZY5/Eb7RadD0ee+CEr2jZOXOChWeCgQb+1h/Av88CPp6/L4Au foWEFmqACInBiYXOTxvrSjaGSAjgQtfAizNODPhs1ARjpqopXWxTEUqTqmxU8Ip2 0V3MUw4itY+igxohAJ1boTVKg+Mb8iAAjjQ7aoVxudHO1O+u31CYdDFDbJ6pG62i EeTgz1ppWmXC5uxNH+3tiPFxMjbL+0441W/jE4PpwQZhdB4DY+zflGV42aci7gJA ppcVsdyy36a7+PvMhOesLNn0bIeXmBxmPTtdCZajAIIvE9p9kv1GLNWuOCJmwniy Y2b1PPfEYSgYcyr6Jowaq88QQ6Z9zNbqruBuwo1N8m7GJPldGq1f19X4ZXrWD9vZ OC0IoMMRi8ZXGVwZzmw563OnZx7bQpZ6ihi0+uT3d0AybwlATPVqgjpzIRmR5NTq dMsQ9T09RBQ9kWdL7ldyTchPfN/A1CZSTDx149YqvOfa4V3ry4zVfxJ39pzvTZqr
28+9Cmo5EoeR
=5r4l
-----END PGP SIGNATURE-----


--==============Y25560824977929956=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UawAKCRCb9qggYcy5 IQ6CAP9BWI9grNYdd5mRPKrYj7fnE/i0NIayeIqk6w+uQAv9UQD/bKvA6vCBElFO u/9euDwFDW85Y1Yn3S/6bVFA1n4C0wk=Sybk
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)