coq-math-classes_8.15.0-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: