• coq-record-update_0.3.3-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Dec 22 12:00:01 2023
    Thank you for your contribution to Debian.



    Accepted:

    -----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-----

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