-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 08:39:43 +0100 Source: coq-stdpp Architecture: source Version: 1.8.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-stdpp (1.8.0-3) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 9fd21dbe87dd379ce989fc8f3c3e546b79227a3e 2056 coq-stdpp_1.8.0-3.dsc 943c5f5b69d8bb12cdb13fc051235f6b2045326a 2392 coq-stdpp_1.8.0-3.debian.tar.xz ab8251e26089c7248cd401bb16e3d0f1b45617d6 7379 coq-stdpp_1.8.0-3_source.buildinfo Checksums-Sha256: 0a5ba8e18cc8a700692343f623e6b517e013076be62e99d7be81847ef4ce6f8a 2056 coq-stdpp_1.8.0-3.dsc ea5bf536fe061a672be81c6d3593b48b127b670d57d04e3bfa4b24bed7965198 2392 coq-stdpp_1.8.0-3.debian.tar.xz 9e81ba6f3633bbf0545d79840e3a6a947a5a185c86fc1bf62e97d2d9c4e63e47 7379 coq-stdpp_1.8.0-3_source.buildinfo Files: c678b083fd3b05eb24bb504d00476471 2056 ocaml optional coq-stdpp_1.8.0-3.dsc c3e1db2023c0a8d7904caf7065308ad6 2392 ocaml optional coq-stdpp_1.8.0-3.debian.tar.xz 66ada3e583631ea1f516fb8d4592d4c2 7379 ocaml optional coq-stdpp_1.8.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ3NQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRPeYP/3Nm4SQRmM1LyGr8a3rl41PwNvCa9GFr hj9rKDglD7aI1+EJb6bA44mQDC72UZ/OMOt4hNLpk9GDqqsUhPH/WxUIbTe9lGsB i/QGzW/uIa7gL9kX0XY0eKHcr9nPotxb3VcyYqPHfYL5HdLkw+a03lCWeDuJXi0n f38LlcRex0Vqk6hyN+0pfzu2oskJPIPog3bFI6/uPMooIe3SRCDpQLFAKEH/hmep MNg+6uNDUrzmK3/x4TZkieR0oBbq9ayPvk8NfUe7zEKMOT372hGe/4KjfajiLw18 XYWNuZE8gRUf+SmgXwv7Ark+JlyAlRndmjL3O9n3853RIP328/lKI66huJsKS99w 4ekWbndH4x0bigr9PMw5dwTCU4/TccFxFDARhkYCWXUfI5cBiBQstbafctNvnuc4 zowikGh+NmAOwzlxto1s0koFQRlYCdNkBkY7CC8wHgMSpcRYbIyCR8UIDAtAZaTM dlDsLEwNNh7fEEzUuXjmNZNGPu9lWnh/Ms/cTJ15hlRZbKIDzhkkl6q5li4Nns6m kDIiixpFHVwDbHRb5kU0/IffWeOuBKrXOZp2IA93wsAPy0RzWjGgRNvcPlmVAD6X 01FIjWQx3YQupoTZxQLGGrBSkDYCWG2WkqfHZVbwqVjiIztsANmzLaZ+1R1LibVl AiErfjm5AE4o =TBzH -----END PGP SIGNATURE-----
