Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 25 Jan 2023 12:46:00 +0100
Source: coq-unimath
Architecture: source
Version: 20220816-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unimath (20220816-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
880290410f428ceba417674d1f1da08a764139b2 2099 coq-unimath_20220816-2.dsc
49e5c58407bfc5d7f996788d33b212a7852952cc 1776 coq-unimath_20220816-2.debian.tar.xz
3b35d1511a9c1c61a67f7e1926c176671bc4da21 7399 coq-unimath_20220816-2_source.buildinfo
Checksums-Sha256:
087971ce4047fb9730e685743a9fdce32e87e6dd35afd8cfacaaa1322729e4c1 2099 coq-unimath_20220816-2.dsc
9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1 1776 coq-unimath_20220816-2.debian.tar.xz
0c31904c5c88bbbde9b6fbdbd6b2b21776f1f17e01f6b5c927cda39f9412d84b 7399 coq-unimath_20220816-2_source.buildinfo
Files:
f1fcfedb2c70a20665de70e1b941a964 2099 ocaml optional coq-unimath_20220816-2.dsc
da16caedb5f9c762248c2598dda58960 1776 ocaml optional coq-unimath_20220816-2.debian.tar.xz
a754167c6d112f508a25a26c8defdf61 7399 ocaml optional coq-unimath_20220816-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRFrASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5YAP/1LPnTgPgTt9gnLzgNL833rcF2RTUzd5 Wi4FE7vwntIPi9M2GGt+DMvZTbh6FwiChsuyrZ9/p4sCSGqgjqMLaJ9EWeTsGg3k k4DEn5CSlXh5lERbx/N2hSdvwb0PVBLPm8kjj+L9t8antmYUdTFu5+mWUl5lLeLw ZgiCewW7c//2G//MKb05j2Tn6z9C2Kchbsvta7Tl9CJGeYKeJ67/NdXhL5qt2fFx 58ByD7vrJslCuM8rd+rRz5MvSP/1hMWobsrHc6GNafcdQaEH6HoFSYspPgJXsQQg drIce47legABL84rjQy6otUN6wCMYzNKXqYZaIdH3jl1MesInDaf9IWK0LikuRkJ 2y9poQKjyld9GoqL63b2BLu2dCH8YNVHcBD46sO74VSEmOYHdzvfYXU1fCkNsf0N vqwvzTulsuM/rFqxIDkSX78waqj6i8iMqt7uqGHaot88jO4WeWfTRtEx7O9kQRbl 91VayvRgDb/SMbn1IGDLehJ0WZ28Aenyv3OAbgCMFbu6ggfd5OcRo8iDaKkGPDOx 62sBnDOv5iSmH4zbRi1zHH5JVZt/H+MbK7yt0WdemhZEreY9pnAEowwQDtbcz1LX fIfZt9GWRxDC9AM4FA77/h5Kr8t2KGtKq7xAwYlyk89+zbeSsEcXjC+tEQqzOhr2
log99Cr1crN2
=T7pU
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)