-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:07:10 +0100 Source: coq-math-classes Architecture: source Version: 8.15.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-math-classes (8.15.0-4) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 22aa3e3092f2b5df6091babe827f5fdbcd5041ff 2164 coq-math-classes_8.15.0-4.dsc 7a9f76c5b71d1f928aca6e447960be5eb0459964 2624 coq-math-classes_8.15.0-4.debian.tar.xz 01f05b90708d0aa48ff64d82457a25a882896e6e 7441 coq-math-classes_8.15.0-4_source.buildinfo Checksums-Sha256: 2dd7693fb7ac6cbd54ca9e1eb9d4ebd866dab295b23c210faef199390a6e01e5 2164 coq-math-classes_8.15.0-4.dsc a864822ae1fb02b3f1f70054e942a3ea3085fddaf76f5762cc1ad14f066e24c8 2624 coq-math-classes_8.15.0-4.debian.tar.xz 7a0e7cff2e8f9a3a6881e6ef6ab05bf09ec6ffc9db78e8e716d7c7a0f19b518d 7441 coq-math-classes_8.15.0-4_source.buildinfo Files: cff54d56ad0b55a51af3fb9f35b48848 2164 ocaml optional coq-math-classes_8.15.0-4.dsc c6803095fa1bb9ebef357f5c87b6c49a 2624 ocaml optional coq-math-classes_8.15.0-4.debian.tar.xz 8db258ded024a094f63e5d1999fbf9cc 7441 ocaml optional coq-math-classes_8.15.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG4ESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMKwP/jk7BEUiTNhQidYXYis/1tVroEQHpEgN 7VvfabX5XLTOqi/7wAinQyNVOgtrvjmOjwNEeIXlu1WGb6KIntWXHkBkMPnmPjOm niZDNNEYMKBWWJMmB4rL1oNyNeY1gR2o3ByLgNPX+hbOEG1nCYYqB8jFz0VOzle4 CSQYkUJE8M46PoocWA5hEUXiDWC599qTJ53gn/znxRR71kynmERQbJVk/ykC7GqS Bsk0/Kn9Kx2A2RHjOXxIEgu4WUi3HeqOPOI0O9byWDxSPaP1vAeVuUXIhDx3x88Z /HIMflfGRuPmCUuR+WAjrxTbmaytIooTZERCtX+OhjgV/17cyH6kxDPxpULA77w6 LsraeXXfyMvZFqBbZO1af1BcoIK2oiF/3oBV8xh5UUgw16UPbuTuvN0g1UxKEo6g ftVqFDYqB08QdELZ2jx5OIKVU+Z/YRZnh464Z9lxKlCWdbyc5j+AzH9/lU4jH12S c8JO5Gjae9yheT7ZNhqJ1ZXTwD6JH0loDDRfiSwfXrp+5oDkcw4eT+f1QMGMKRjJ 89U/Qdw3yrvmLl51XMDW19msWdDqPfo5Wm3rB0BdXBtWBVquKra6Ls5/JQt96P6d TsqjPch+lSutxITqBqo7WIeyKrRs/qnB7QoUiQnGAmJSEd/HtLmmlDMz5JAG6/ov mURlLSKKxIWa =5G7R -----END PGP SIGNATURE-----
