Thank you for your contribution to Debian. Accepted: -----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-----
Attachment:
pgpe2dVleQZFe.pgp
Description: PGP signature