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

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:46:08 +0200
Source: coq-record-update
Architecture: source
Version: 0.3.4-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.4-2) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 8f7dced027fef154401053234edf0a0c5c6a32ae 2148 coq-record-update_0.3.4-2.dsc
 d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz
 3db62800992373345bd8f3e2a8bb96799683c1ca 2056 coq-record-update_0.3.4-2.debian.tar.xz
 65ca1e995078e38cee1c5f8b806cd5271b000cc9 8142 coq-record-update_0.3.4-2_source.buildinfo
Checksums-Sha256:
 3e43095f42a785c041e8b0c3cc822d94179eab22133b717ccc0fa37543caab0f 2148 coq-record-update_0.3.4-2.dsc
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 86bdb9ea86585349fc03adda18eadaf212a70d3529dbb160d17fa942c91a0fa1 2056 coq-record-update_0.3.4-2.debian.tar.xz
 8a7e34d479fbee996135bf66c4787bc0da404a2ac6906ada0f156904ceb23c06 8142 coq-record-update_0.3.4-2_source.buildinfo
Files:
 4127c5f8f356a04f2216a8629a999529 2148 ocaml optional coq-record-update_0.3.4-2.dsc
 b291523542767033ee091556447c67d0 13646 ocaml optional coq-record-update_0.3.4.orig.tar.gz
 2c3018911f7f04c29205a3735676deee 2056 ocaml optional coq-record-update_0.3.4-2.debian.tar.xz
 06004a6727f2e861650f90137870284d 8142 ocaml optional coq-record-update_0.3.4-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYzlfQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJLoQAIwSglpIkpar66khIJJRgnK0+bPmDuDg
0XrXgv94aeRd2+oVOeY0WYD+s3H+SrTKsKNYPXG38QkVXM2NmWAiJTpRVrSsAR8W
TjLSYatGqVYExPaybc3CKJoEVIA5kVYLHKv5++1d8FqKKgie/y5l7EjGN8BG0ivv
v8Wh1X8bdmUi7LnLQGKvy0kmJn/obBh5R0ER4pOz7qMDfk9ZYKJTn57cRjtRweHC
d5TqU85ioeNsfuB8+yOv/N3+3gGgAlKIfyJ8AQC8qHy1UdPS5VXRqzVxRy8/xJUZ
4iSqXK4T7uzy5LLVyParFLqGyRJ12AxuqQS7WaZ4DibTqNbtYfulH/88HZyAUzpE
oHBE9JoFxN1vtXk+KlwFiIVvZljczR1OSRSkXwj+dG/bUfTwroqiaFoNciYVnyel
Pbsonixgc823W+SxQFj0xCg2MrAQDJSNC27X+xmJC9rE8ETHe5hhLqC7tAigRbte
OOyzb0vg9kXjveKOYg0XXKkiPibt291Y5UDLkgoxShNwNKUFk351SMQjquicvudx
ixN3A34Z5VW7YstAUhJ7pFsKDpr3JrGyvyX7YxmhrHhGNZLxuTWeEBa2/+iKWIWF
0A7LENgB0rK4rJdmf+0XRpOhomQO9Obubz9hJHyHJLZ4N1dYmUdvG/9DeL7q+1LX
DzvNvQMG/ixP
=geKu
-----END PGP SIGNATURE-----