Accepted coq-record-update 0.3.1-2 (source) into unstable

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

Format: 1.8
Date: Wed, 25 Jan 2023 08:31:30 +0100
Source: coq-record-update
Architecture: source
Version: 0.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-record-update (0.3.1-2) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 61bfa044ae11a5137d72bac773bb9fd2e537a318 2148 coq-record-update_0.3.1-2.dsc
 b09bbdab5f30c09d4606676daf0bee56f077bb4b 1872 coq-record-update_0.3.1-2.debian.tar.xz
 64b4f07b827caa8cf6f6e1b205304214efd61dc6 7411 coq-record-update_0.3.1-2_source.buildinfo
Checksums-Sha256:
 0667e89a226cf9b209510f52eb64a298bcb904980695573061b532ae36c4613c 2148 coq-record-update_0.3.1-2.dsc
 c7ff9e2b9fde0e6c896874d1495a1f2c3fbb5cc91ed4eaf5c9049b6a916ac471 1872 coq-record-update_0.3.1-2.debian.tar.xz
 3cd790944963ab77e4268b2692b887a149f7700143ba488b9ff40dbd58c16e3a 7411 coq-record-update_0.3.1-2_source.buildinfo
Files:
 42967143387b85522b6cc8187e3a4a96 2148 ocaml optional coq-record-update_0.3.1-2.dsc
 a131d4fade278b70173832c924077fc8 1872 ocaml optional coq-record-update_0.3.1-2.debian.tar.xz
 7cb59f7002671a457eff930ba3a384bb 7411 ocaml optional coq-record-update_0.3.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ2ugSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRD/IP/2U7X9hkslrsiiXxNQoFik3v259JQtG5
WOPE3lLWBgldJDmDdTz1T+mCCRflrSiVA7BZxPEKatufHv8cgPwhNQ6hI07wuXHA
vmK8r3/h8u/ESO4wZ5DiB3fgTEuzMXHoEWnHauWyS9jPH/9wes1tyeI/HEOB6Srb
SK5uaNoXizfGFI5nNc6/wE2PNbqTQEJY1cKW4l0446ICx6VJ5o4L6Wslj7WOQUFF
py//0LXPXfeCiG+rRCqU37UqRUxrFFMkZAzvUkGC4ZTna1X+GGhZD59SiUCXNhfc
WnXo3btQ0BExpuccFMFvjXgFI6Pu9kWMuVptX2+6uXL1ag7MET3zY094R1pOfqmE
v7y6aPfntI3muDd3jdAaRZeVVINX30i4WHTWvzSJLbkeW5h4dd42PyeAOreDYIZd
ndLfnth2XclxVkdDc0nbuqWEQhhfjkGeQIuFBBz3U7MfJQwaeSLlg3LQ6HeFITEE
bI2H6fE1bidj2wVYLnJxGaiE90LRO5NChPqvByU6X3O7/jr6DmCQDk26Zq8bke4T
W3lexYD6CJtxdjOyYq2PUbPAX09vfjAbvmplCQlZWMhs6u5/PnuNoHtx0EU81Y5m
YCPrJEzoUL2lXETCX0Ps02FR5322y1zc0s15s/kzpYAstkC01NYkL5QV/ghyBMrI
TRQWEL8/GYmt
=U46R
-----END PGP SIGNATURE-----