-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 22 Jul 2026 20:26:14 +0200 Source: coq-bignums Binary: libcoq-bignums Architecture: source amd64 Version: 9.0.0+rocq9.2-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-bignums - Coq library for big numbers Changes: coq-bignums (9.0.0+rocq9.2-2) unstable; urgency=medium . * Prepare for upload to unstable. Checksums-Sha1: 20fd59a938f6aa489937e073d29f00f84e2ea599 2156 coq-bignums_9.0.0+rocq9.2-2.dsc 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz be537c0864911a48084bcf1c94e7dd5bb4c5d68c 2280 coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz 879baca4e1cda63380d3e5b1f5dcaff6c4609dd5 6982 coq-bignums_9.0.0+rocq9.2-2_amd64.buildinfo 0b60a675055cbebe1c8a2221d28b7a4ee92d1142 1899752 libcoq-bignums_9.0.0+rocq9.2-2_amd64.deb Checksums-Sha256: 5b07723bd4cb02355e5369da8e2a51df0f39d94c3fdc52bc3bb83d050a3c32cd 2156 coq-bignums_9.0.0+rocq9.2-2.dsc 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz bd1f454cd81c04a638c7f6c63b059913a89736e4f75d5081d326e4d6ad7278a8 2280 coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz bb5ae9fa3a1cc90d0a3a0047d4dc4b11003d6a5d99812b2232c96dace28d6e3e 6982 coq-bignums_9.0.0+rocq9.2-2_amd64.buildinfo c3d0bf2ca64cb1910bcb22fd6d5afc99058bcfce4e11c92263181ff032759d3d 1899752 libcoq-bignums_9.0.0+rocq9.2-2_amd64.deb Files: 8cdba39cdb19f0195fc4c2b73995ddd1 2156 ocaml optional coq-bignums_9.0.0+rocq9.2-2.dsc 6f2f126e7b81df8a6eef1ea81fc58203 117333 ocaml optional coq-bignums_9.0.0+rocq9.2.orig.tar.gz 721a2d1356e47869a45785021b7aba5a 2280 ocaml optional coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz cc2372d532836e8195c9245a87eef0bf 6982 ocaml optional coq-bignums_9.0.0+rocq9.2-2_amd64.buildinfo 13ba0883040053daa65a1d00de377a6d 1899752 ocaml optional libcoq-bignums_9.0.0+rocq9.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoytEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQmGD/4saUseczQb8X5Bf8QZ0mtT sAk9qOaK77XDkK7ZidvxMj1fQk7xfZTBVbK0whqUPdrATtsH3ZsnaSGXv3WfZnd3 jWcBP9/J6A+gS9jN50LApfxUYTjxfT6EvmhNG7o0uDv31TBmrxqc3+CFv8qmlupX NAsCc2pQ9yADC4M4ztfCWD8tsxqj3NgZLb8eONZmeaIr+NSp/l2bD/44WjuYcs3N RPtKSWIISkKcFi0UlWUfGJGa7wufH5w8XffTR4l23Pc3+PC6Auw9XDRIhs+dPOmw HJiVUwJBHok9HyJ2CmoLcrAwlhfpSPddDAwSK01wlzwEkDub9F9vwWh1Bw7qBczV FJZIu6QIejAnQjuozIV63HCb2iuStXBOLv+HQH9QFGcfBR/2G/YtJ4gPV1l40kpO hVoR3QcrXJOn3Lmonfqs3ENfCsB2OuZd3yvVZpj8pT88/AaHQEe1xkyv6aYCk5dr CdL6zYPId7+L7ueGNdgHeLwLgM1a/DYUDvf2siZFO/SYo31iz0463DObuA+dPIJD 6gl78FjJ3IVz7Ppd9fxyW4TdEQ3pw/kczN/shv8ootr8XJSb0asWEUtPSxMKJsYc P4VjNOzHIeLIt38URPDmCjgCGLBCvyDYHqgOYUSFCpbx+jqpXqaXIo+38+Lmc5Vd 4jKprHPjss4VuItMasmnbA== =aY/D -----END PGP SIGNATURE-----
