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)