-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 07:27:23 +0100 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.0.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-stdlib - Standard library for the Rocq Theorem Prover Changes: rocq-stdlib (9.0.0-2) experimental; urgency=medium . * Rewrite d/watch in version 5. Checksums-Sha1: 62961d6784ea8bf46533a8d5804abd86d018ff5c 2010 rocq-stdlib_9.0.0-2.dsc 37cca59ea8896d728b4e67eea84ccd36505aa9b5 2252 rocq-stdlib_9.0.0-2.debian.tar.xz 2f64c32760db146dce33bf706cf9000879eea76b 19528508 libcoq-stdlib_9.0.0-2_amd64.deb a79ae259609a522d1db0203bd747f652dd62739d 6592 rocq-stdlib_9.0.0-2_amd64.buildinfo Checksums-Sha256: 44931cad6a34ae856790ab57c482627e033005ad7932f476232ba6c7c3a68f60 2010 rocq-stdlib_9.0.0-2.dsc e24b12bbd4f8c73db0c9fb1ef562b189cccbe4121239c6a435865271b7bb1222 2252 rocq-stdlib_9.0.0-2.debian.tar.xz 18efca4edaf5240a0eaa10638024f01472b28e00870f7ee470c996f1cd446f9f 19528508 libcoq-stdlib_9.0.0-2_amd64.deb 421e6a09ade0e9ce5c22038d51d587cdae1f461d2f6ab58aa717b0362842a089 6592 rocq-stdlib_9.0.0-2_amd64.buildinfo Files: 9b48e949594eeb777180d2817e2f9f7e 2010 math optional rocq-stdlib_9.0.0-2.dsc 1633e6bc13408439441f9c7116824b69 2252 math optional rocq-stdlib_9.0.0-2.debian.tar.xz b2b36d1b72b622f1bf9cf6b56318253e 19528508 math optional libcoq-stdlib_9.0.0-2_amd64.deb b821b5a366c6097feae246cc9b33f8f7 6592 math optional rocq-stdlib_9.0.0-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBuq8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY9nD/9FOYjytM5zDQ9MGV3UWCU5 ridknkFZotU9QXp0YJQRQDX3P8fyhl1vlu8Bccxf7igOrqAdaUqkvpMe5NdAunYk rvCjfFRSkeTQCneswWJY5c1RjOad76SYLQziL3iuNF2JS3aU6rSgGlCfOW7XsQZ3 +nDkLJRUq760rLo8JmBnT4aKB/3SE5mCvYhvqMvEDULE2Y+24yqeYa9tnmB07oGE NBE1psOl7A5zwQfsGWQL9YdxY8wFQA4pHeMStz+nVMP4ouPQgRbyVTljxiV8iqg6 MNwAp20L78BBluWV3q2InD6vP2IbbUkxVHHyORsl2ZaGTKIgevCtjX0fzPYIWTAn 3vo5OqPWjvzSQxv8DniMwWhvueqQMkyY7Zrel2mZCLV9PeCxoUKAMMad+mfgW1vi sJsq8VmaDTpE20Fwr8R1APd4sG3xOjZU4YODHBSDl3yDK8pZxnz3JAEpXSYa4H5P /+HqMjlwk4jLzs5WIzpt1dhfWT1csjY8ea4buDktKMTE5p/YH5GhpEUZl72CI7FL X0pskWtkoZq4XQ6ZmOYnGb+PKA+Xp5PqUOLZUuUI8i2k65iVO+pjVbqPrE+FCZio KkZy45F2knvd6Adjm+62oBY/pzWqPEUNRaQvV9P1i0KXc3C1DQrRfT782OUKT2ck uWAaCz+7/VB4T3FWi85iEQ== =vEwC -----END PGP SIGNATURE-----
pgp4BDg8SajtH.pgp
Description: PGP signature
