-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:14:25 +0200 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.1.0-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-stdlib - Standard library for the Rocq Theorem Prover Changes: rocq-stdlib (9.1.0-3) unstable; urgency=medium . * Fix compilation with recent dune. Checksums-Sha1: ab6fb311220970d728145b7c63f45afd76cb292c 2042 rocq-stdlib_9.1.0-3.dsc a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz f43c9e26dee3163415047dbf0154b85fbdc8de84 2680 rocq-stdlib_9.1.0-3.debian.tar.xz 1c8da7b74fbc39c8bb0c074d3c404ae3d2704096 20077904 libcoq-stdlib_9.1.0-3_amd64.deb 7a3833f948142e4388e418a569087273db2c10f4 6679 rocq-stdlib_9.1.0-3_amd64.buildinfo Checksums-Sha256: e69fa316effa78498601eb90ec07028282ece4ef0c459c50f878a4679eb7c45b 2042 rocq-stdlib_9.1.0-3.dsc 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz c2833a516a91f3388b5d84a9a96de5681266584d0ccd6db27a7efb4e4664b50f 2680 rocq-stdlib_9.1.0-3.debian.tar.xz 2b20a2cd5d596c2b37456f909461131e8b72bf856d4dc2074539bdf9dbf787f5 20077904 libcoq-stdlib_9.1.0-3_amd64.deb 2b676d03fb3598b2fb0247d10fb49404a6af0680f1a744062fc5d8b664262540 6679 rocq-stdlib_9.1.0-3_amd64.buildinfo Files: 5b6cdb18c546ae9e88090d2169f235ca 2042 math optional rocq-stdlib_9.1.0-3.dsc a8b0043d624e8bb44d46d22e741f329c 1864765 math optional rocq-stdlib_9.1.0.orig.tar.gz 82540a733156d4d625e7e3b475e7910c 2680 math optional rocq-stdlib_9.1.0-3.debian.tar.xz d5bf82e2ad48e0ec5f6a4a6386cd8a42 20077904 math optional libcoq-stdlib_9.1.0-3_amd64.deb d87fe3db8075871d66c045542dbcad6e 6679 math optional rocq-stdlib_9.1.0-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnfwMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT02D/9goGWTK9gwicPeMTHUSTFL ezslkXFRJFy6qXC9TXINuAZKGkbGo1Jv3Wfdqe9veuESGxQ4ajpKbGhB2vAXLaW7 vDVomYnFUAH4acct/YVOaQmLROusCuUNlObomEhpWmmQEyHy0tvHwOXSLJgC/tLD P57jC91e4x2zuCLlBvQLanm6P+zw/T6GGZJdZQH7dfehP7fYsdsf5o8PFyC3HXQW TAui8Tl45Yd5QUJfEUpu1HEnzS1rDMtXCHEKRpjem+O9Q97AoKr6VPxbPYTQ+awx Vj1CC9QfUuHy4swTNqXljW009HDFjfwT408blQp4caIpDv5+qgx+pUWwoFErMY/3 JveZTkU/wLXz6H98bBZYPJfG/38mWSIBqhFLcH9SJbsPGqSV1Og/P3GCCb3TBnr/ T4sKR3s90/HQQAziHu5SUTGI/RIpvT+Om3zGxLVqGXoonezH9DJ2/k7QNPhAnY6d XZrI0mKzhHzYKSgQSPFRGk0diWGbtN2aA1Pd2WDcGgPl/e3jq0SIRgEnA+nr4qkT JUMk+S3NypddEkusrk2cLUuPiBkEs8mKx25ihwBOnupkvtIHwnfO5JvUeS12UaG8 6rmQKh++tOKXFhmtSIwr7sm8/PR41WEowOPGzVaNwZZ9szm4BUMmf/DSC4SFuODX qGPozv9oEdGPX94FN/ep+w== =al3K -----END PGP SIGNATURE-----
