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


--==============22077237343628362=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjOZ1gAKCRCb9qggYcy5 ITFjAQCDwTrR+Fmk3LRi4mDv99I+jeKictCb5Yo1oepB4WIFpgD/QcPlMXL3+l0h E9gwpAldJKtlQ4lRoqxJq+qFnQrlVQs=qg+C
-----END PGP SIGNATURE-----

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