-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:04:26 +0100 Source: coq-iris Architecture: source Version: 4.0.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-iris (4.0.0-3) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 52907d3b6964558220c45457e74d5488faaa9f71 2152 coq-iris_4.0.0-3.dsc 762ed99407d4fd856dde87cc309ff96553c44bba 11980 coq-iris_4.0.0-3.debian.tar.xz 84daef0cd25918d2671a489111fcd468d70e0fc6 13922 coq-iris_4.0.0-3_source.buildinfo Checksums-Sha256: b95568fc5d3983ee670518199cee4a9d8fe3c6d0b2494451d5e38f4b2d263df9 2152 coq-iris_4.0.0-3.dsc e4187a51dad69875db3df02d196639a87d9c864d7b68d0dc94fa0cb19e09c1a9 11980 coq-iris_4.0.0-3.debian.tar.xz f8c997d9fec0be1449512beb50aa8e8d67bbef2da797736fcc1dc5d518b4e534 13922 coq-iris_4.0.0-3_source.buildinfo Files: c1d4f26576620e4c8c3431e70ef90755 2152 ocaml optional coq-iris_4.0.0-3.dsc 880d0e1066bd11f2d5963692de85f6aa 11980 ocaml optional coq-iris_4.0.0-3.debian.tar.xz ed85fbf8007470a50b12bd39dfdfc88a 13922 ocaml optional coq-iris_4.0.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGuISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReYwP/A719g0k7vFYIoldLLamWeBNSS8YVX3X 2Y6W+qbaGY3QzL+vIeJW3q25iU5xhWh/AORo2EILV5+fjEHugrRrknyiKwkbser1 OKjwfePzUC2DKo7V67ZG39XdrAy9dIqfzMmdugoPCaePsmDAh746Fnvks3DnbeMi V64kwYpVGVrNU7ZbY+rnfV8FWTop5uZv5Rvlr2HeCcmUsZoDxO3pB6Dxs7utQOOJ FeAGoJ5L4IUm9M32IA5V960wLNMxLRt7fQDdhgqZnCmuyzbeh6DUXOmtcfUSMldQ 56w4BkK+0gmC5q3adWKZnK8DLuXn2e02YT8xCOvfQ1+jzFY2BoPKf/a22PjHJ8LB dwKoHHffPNcr3KUq4h3XIrBZy6m48tFQAg9703SgIr+DKMjUhtX+hScng8olDIee +fe15XrGBfxRb62GS3JYPF2mctltDNE9cWp2CDdu7T9WA7CFURYnnilpfsIw4taI e/igHKlwscdz/EyyLaeLIRvjnM9oSwTIV3RgPALjAKQcH75QPgxie/3uk1XCyURs cMufG0XIbv8ppTj8tDKjU+2+mqiII5pMrSupwVKOXrWbranWm/xYeV13USa7xo4M tyOlexr+vmmBoBXk0MKXvB0syV21G2zUGbhEQxFH6frPXUO9FaiHveSQwv4pec3u 0OT1fVy3t8iu =Myey -----END PGP SIGNATURE-----
