Accepted coq-record-update 0.3.3-1 (source) into unstable

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

Format: 1.8
Date: Thu, 21 Dec 2023 16:03:50 +0100
Source: coq-record-update
Architecture: source
Version: 0.3.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044808
Changes:
 coq-record-update (0.3.3-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044808).
   * New upstream release.
Checksums-Sha1:
 0038cf5717cf9b36ea1fc091cde01f15ae32e3c2 2148 coq-record-update_0.3.3-1.dsc
 b626542581be1026dccd66c4ac313187da8af388 13644 coq-record-update_0.3.3.orig.tar.gz
 f637465f253d1e81060a2318b7dd5731c71269cb 1972 coq-record-update_0.3.3-1.debian.tar.xz
 8df54efe817499c44fbf1eb1a16c639fd76d5785 7864 coq-record-update_0.3.3-1_source.buildinfo
Checksums-Sha256:
 895f29d16db712a4ee02f6c896e7b5a8fda533e630ba7d1d1ea81433c0b5569b 2148 coq-record-update_0.3.3-1.dsc
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 9de844e2fc220dcadb38cc8c8b256a760e1a24e8899e1ac3441324a3a275a38d 1972 coq-record-update_0.3.3-1.debian.tar.xz
 dcc710153f6a5a837200d48e596962e04c743371a449faed6f10fbaddaf27795 7864 coq-record-update_0.3.3-1_source.buildinfo
Files:
 8552500c7c00b9f8341df70c54cc5266 2148 ocaml optional coq-record-update_0.3.3-1.dsc
 67fc7dead388bfec2b737241dcd9e3d8 13644 ocaml optional coq-record-update_0.3.3.orig.tar.gz
 91abd01ad26e0754300c15514b246a10 1972 ocaml optional coq-record-update_0.3.3-1.debian.tar.xz
 b411a24433344d590c9359b4287672d3 7864 ocaml optional coq-record-update_0.3.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEU/USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9Q0P/ijemk7RP5vMwUy7leirRK9pGZ+uIdhG
oK/xKPVn9hxJlWFj6Z4qRCW45xvATAbgzDhoNhFt7YsQAy5H/bxoOYvP9WZFN7MV
Sn4o3mgpr23kZmfBQV02p6NAbTwxfEd0YcOVxbV6tGrXjPOQ1wq1IBQnn1jRloNs
8t9p+RzMaim3e6anS56XDPKtTI142tpvQ3PWslurrUvemkZoNJRzfeHjVqYaQCaI
TPgSJmPVfYtT4p719XAis83LK59PVAJvaD7ZLP1oDkzlfAgrVGQdbwUhfYekab/G
KrE/raOcizW7fHwRiRfNmcyneyS+f/Wy6hmKX/JzF8yoD8hSpWRcOoPxg1fWBBUp
A8eY/b5mHCKJ08ABPDqGhlmQfb/GZyzP11MZfFXl+8H4YIdtJc4bOC9jhXH914/P
KxTeCQrTl8PfiLHUr5nQxndDEmnnXSklFvh9ctBMp9PkrXk/5hA7ALJMC36t5hrb
lEQq+4JhPaiT1/wvR+zoLHP0hGkgjbEq8R76tVyN81lCf4Ip9XOlVWlPuTIUAPz3
UUNt0m6W6c0sAZxfLa8Y8f3+Bx0qWXGFXcLpaS+xpqlcE7j653Fe/lzwxezizNxh
pTlLThyJGLgLZ9hQbAsbA90PVK+FlXcoXlXxl894n7zOsEakb2XSh8bB4qhucx31
+0K0wv1OGCxf
=JUO4
-----END PGP SIGNATURE-----