-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 17 Sep 2025 07:03:34 +0200 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.0.0-1 Distribution: experimental 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 Closes: 1111824 Changes: rocq-stdlib (9.0.0-1) experimental; urgency=medium . * Initial release. (Closes: #1111824) Checksums-Sha1: 36046a6540bf6bc2b977529ffece3b43028f0be0 2010 rocq-stdlib_9.0.0-1.dsc 8bd16b7e3f8abcf67a933a31ffb670c8f6e72b63 1826759 rocq-stdlib_9.0.0.orig.tar.gz 72d50ec945a3c401baac8e46cff1c51e1c99748c 2216 rocq-stdlib_9.0.0-1.debian.tar.xz 90d8c29f55284d960859d8b64eb4e3a6c3fda128 19528812 libcoq-stdlib_9.0.0-1_amd64.deb 07840c40c5d6505a760bb8b2b8ab169c6a7f46ba 6657 rocq-stdlib_9.0.0-1_amd64.buildinfo Checksums-Sha256: 2ec5c0caafc4d8651f480a60defe05a6363d74918fa2246c70e296d26f605303 2010 rocq-stdlib_9.0.0-1.dsc 1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711 1826759 rocq-stdlib_9.0.0.orig.tar.gz 1cf50beafcb3d5a4f5df3240c1bcef0fda726e5389e8e2fb814c1519d0516954 2216 rocq-stdlib_9.0.0-1.debian.tar.xz 7422c820bd29306f4ed0004b93958950071c94221f87b8d9a844d49735fcaa0e 19528812 libcoq-stdlib_9.0.0-1_amd64.deb a9b81b381ad269ff523c730435354580ab4a7f071181cce85d570cc6da70cc69 6657 rocq-stdlib_9.0.0-1_amd64.buildinfo Files: 4993c995ac5e1de2d269e3c7ec37655d 2010 math optional rocq-stdlib_9.0.0-1.dsc 4816a4c49b3ebbe9331a975bd1afa009 1826759 math optional rocq-stdlib_9.0.0.orig.tar.gz 4e56102a4890363107ce3c343a6877e7 2216 math optional rocq-stdlib_9.0.0-1.debian.tar.xz 06680494477367909d46c1b3c16fba0d 19528812 math optional libcoq-stdlib_9.0.0-1_amd64.deb 766b8a4964177e3d17f547fad4ac4273 6657 math optional rocq-stdlib_9.0.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjK2ckZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcUyEACKVNB1Ypxkg/08D8IslrYG kl2PgY79C+E0ZaOv2fHJmC+W4Lw5IMyiAshQ2INwobbwfXZzVVF81SuT+GTlXahS SoXf1sz4HK03QkB5qq4JGHYc3juPh2f9R3irUfQrMqge7G0IU7n3i13gzTv8PhNu yjR7dVjOLIyd6yTKUBxE1Ge/ba4FsKKGNzYjrgyey8JOg6gaH/wvJpi49WVXGJ7R 2GMgH6fJ/s3UoLL+iWFTkdpmzz7J2ipiJiX3TSKcOc9jGXaTiEl73WpCDozMvIYz 3R5T6qn3etzpBBCjN0G7O+j11SnMr/KQ7b5dnzkBUGzY1cVC83aacgK+1r0GW20P LGBd6PQZZGsovXjVZv4EZMYjBWS5imuWm/yRik5hjrFwPd4EiaEHok2A6unxydOR OC9/DiA6zI7/hqezpvTv5KXEkdUx8vQQHl4ZvUZFXcXx6Yp5vAIQoptY2G9TzrEJ MPXQ7dIiJk+4ZKa2Obhl01QPd90y0a5+raRWVfSK9RVV2bxAGr86VenXxWc3PNN6 d59n7PNKDi5fwnx2XRXQBKArZqDMosURrprKl3ll6qemXUNeRpdl7FKz2aGslSJo M245jnwmrUERZLAqqKzNeamKVR6Yg0/kd2pxZF6EFtbjDRkPtYdyzyEh0hHzi7ug 9/2/Z5740hZnChoImDU6TQ== =YqPu -----END PGP SIGNATURE-----
