-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 18:18:42 +0200 Source: coq-bignums Binary: libcoq-bignums Architecture: source amd64 Version: 9.0.0+rocq9.2-3 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-3) unstable; urgency=medium . * Add dep on native compilers (some archs were broken). Checksums-Sha1: 5e5759615c0ef1ffbbc9bf0a9e3c0ecfde9a065a 2180 coq-bignums_9.0.0+rocq9.2-3.dsc 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz a8d6d3b3101b63addde8b3ef6e6e56b2b505b3f2 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz 4f4c7623022d91932605b37a963cab964ca6e8c1 6982 coq-bignums_9.0.0+rocq9.2-3_amd64.buildinfo 1f03df64e062245e28f54e49f24e67ce79e7a45e 1899644 libcoq-bignums_9.0.0+rocq9.2-3_amd64.deb Checksums-Sha256: 2da4e819dc3cf06a5e157d58d94cb9c163c02c038e2c0c16b465a3108bb2fdf2 2180 coq-bignums_9.0.0+rocq9.2-3.dsc 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz 2afb99cd5f3e52fd5b83f5a70d7b8bd2ee707889ad889f76f68ff588e1d344ba 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz 57119e72e0e077e5edd2aac19fcd4513b5962729d2097183718c99c3c2227c88 6982 coq-bignums_9.0.0+rocq9.2-3_amd64.buildinfo e4ab15179b9e6dc0fff726a6fc21567b46184787e88591e41425399fc168596e 1899644 libcoq-bignums_9.0.0+rocq9.2-3_amd64.deb Files: b36d0fd393985d9f0586de5760f1032f 2180 ocaml optional coq-bignums_9.0.0+rocq9.2-3.dsc 6f2f126e7b81df8a6eef1ea81fc58203 117333 ocaml optional coq-bignums_9.0.0+rocq9.2.orig.tar.gz 4d45b8c3bc52dc7d13fa5b0d40dc5c70 2316 ocaml optional coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz bdea0657be02ff017c46ea00932c5761 6982 ocaml optional coq-bignums_9.0.0+rocq9.2-3_amd64.buildinfo b4c01f957cc92bb1bfb838def0e4c588 1899644 ocaml optional libcoq-bignums_9.0.0+rocq9.2-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1u4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTdvD/9+siLUKvMX+b5pFrsw2pK7 OHTgyKv6l1gr6+hu+8+fctkBYr80wEH+Z8SgcCEOB25xL6/AF9qpSKLaitVMCN33 T7/SsltxaS3rEvA/4RWK9yommHRGBNpzTHgTDdArxCkHOE5Gs80HYt3LaRCVEX+/ HJsauWQ+aW8avyNehgqNECag21LU70XE4Q9anIPQ87S8DG7Ha/3Prf62+L9eOIh9 BianHECJ3x+51/P4onzO7JzNrDwCOlAgFvFDN1ip1g8yFW3tcgaWq9X2iryEHnfZ mco0Hi8t3rv9NEyb7tPKAheIdSPOWgtw3BhSYP6+t/k6SW9xDr31lvMo/QgfBGs1 /Os8EXpg65vjwtvg+b51CgtxYy0St32l77HetanbJtcBV1+FeneylF3NjvdERrSD GaH86GSkq3pz26SPINbGbn1B7tsX9MBuLcguguL9ZqT1JXkEEy09Ptj8bsKxPaHL gIbLJ5rg8UqB3dg8PYE2CP+awsRuKAAoc7g9RtUdGCezNz5YwRXRM9jUZwS0b4i9 JRp+J5f/vNdUxC87Fpj/G0V6ox2G5VzfqkMJhsbmkHB+K/OHen6ATUWvzCBxIfQx uv6EJnHUYJGuPYrdj8T1edkMAVY530ffmnp78oPDsN5THlXuksgh03u7wNzBiwop DIkyfZMxcwTjwO8lM4IUdw== =ZNgM -----END PGP SIGNATURE-----
