-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
Attachment:
pgpvC89Tq8rnV.pgp
Description: PGP signature