-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Jul 2026 20:28:59 +0200 Source: rocq-stdlib Binary: libcoq-stdlib Architecture: source amd64 Version: 9.2.0-1 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.2.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 53b8374eff5d7e64c307d92e28bc7431832af123 2042 rocq-stdlib_9.2.0-1.dsc 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz f33091a55cf08953afb479280665f4e903e604e1 2488 rocq-stdlib_9.2.0-1.debian.tar.xz 03ca32e59a433f6be21998f3562bc1db1d55b929 20085824 libcoq-stdlib_9.2.0-1_amd64.deb e1860989f382ec49184e6894301357f55649b3af 6679 rocq-stdlib_9.2.0-1_amd64.buildinfo Checksums-Sha256: 6f7697cee48c6b4710e51a2aa91b6b577ee0ceff771bbba8f933bfec9db6bdcd 2042 rocq-stdlib_9.2.0-1.dsc 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz 889320bc36c538ec0a8c118175ee095d4851df9e1835a065f4e12631644c31eb 2488 rocq-stdlib_9.2.0-1.debian.tar.xz 8df8b45dcb3dba2c09750273ff7792e28b9d7277e7935fb3bc77a26b6dc8ed03 20085824 libcoq-stdlib_9.2.0-1_amd64.deb 9cdbaac55170c75df18278498402f6afa249a0e0d6cf97a23b6049276261d095 6679 rocq-stdlib_9.2.0-1_amd64.buildinfo Files: 88eeb932ba085a78ff7ff3feeb44e8b5 2042 math optional rocq-stdlib_9.2.0-1.dsc 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz d1403cd866db343556d09bbe4067b4f4 2488 math optional rocq-stdlib_9.2.0-1.debian.tar.xz 4d7dac36564e0af920349e9098811196 20085824 math optional libcoq-stdlib_9.2.0-1_amd64.deb c05738a5c5302f063a60c780d110523a 6679 math optional rocq-stdlib_9.2.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnpu0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcP1EACBc7YAVGDbF69O++U4/IFE 6Nx47i2MV0pA1B1kTbn+515MmcXufUD+TD4DsCo4xfSV1dlVMhGE2nY4bp+qvMjr K8eSYbDRnDWELi0trtZj19yDEH7aFdWRApSslXiVdiMhINkmayCKuUokhxCmJVtJ 9+irDdF/+UFtqlo19BLpxwMHep0t2PVJzq4NenhSm8pqBIWscTKLaJD1u+Jhzk1k VawHoZw7/0H/r0r459dEHW0CKD1ux3m5D8aWCSQn+sd+GX+t5GvdovQiavdg09M4 oqwg/FO8YOevNDcNRDpZlX3xNnDcTdPp9ND0DrDzqoNqxOvXJMx+z/W7OtjOauBm dRkKdlPfAoAQBTsWPlvbCcxk1auJCeZe+XUbEHKDbgvxK4smbi6eO4k825kABQo+ J/njJgJUvfVkvd9Hs+AxSKINJ4IQGDANpBezT/Gj7H61eI/gfljZ3nDwzrsM/yUq KcGXqSws5wNgdKT1MsvcwRFB90nBh+F2ABU8cng0yavjlFUDAo/GkwUwaoLVqNcM lsvNK+BW4gXZpdD8vUgGpcOVje2itDkkr9Ul8r00nfZVWyKkR8HaaajSFj72CWFI jLHHvtRN+a1+4UMToZxGvEOXgQqk7IrCtM/iEZPCIsGrqQqtFKNdxeJ4kJoXOe0x z1+E0QHX4niB5NFAwNuBcA== =iZE5 -----END PGP SIGNATURE-----
