Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)