Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:56:33 +0100 Source: coq-relation-algebra Architecture: source Version: 1.7.11-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-relation-algebra (1.7.11-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 56a90ae3dfed79d8a006543164c17420f6ab20ff 2251 coq-relation-algebra_1.7.11-1.dsc 604c4995145c10e227d848ec6c0368f6b599ace9 196680 coq-relation-algebra_1.7.11.orig.tar.gz 6a32abe53b04f618f4bca85326a6eb7861256ce9 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz 2c55f084ba2f358f9919ac9caf07a2364b370b6f 7735 coq-relation-algebra_1.7.11-1_source.buildinfo Checksums-Sha256: 712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a 2251 coq-relation-algebra_1.7.11-1.dsc 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e 2232 coq-relation-algebra_1.7.11-1.debian.tar.xz 6b603118112ce9a294807091c7d88b60252b26611d36ed8b718fef2a270919fc 7735 coq-relation-algebra_1.7.11-1_source.buildinfo Files: 9dd65ef550c49fbe9ddc83fe5cbfc1ec 2251 ocaml optional coq-relation-algebra_1.7.11-1.dsc 5475a391967d8777aaf0da8920cdac1d 196680 ocaml optional coq-relation-algebra_1.7.11.orig.tar.gz 80e749da2ff5182296a73fbc7d603ca1 2232 ocaml optional coq-relation-algebra_1.7.11-1.debian.tar.xz d70089959ed7b3119e8a17c4e993d967 7735 ocaml optional coq-relation-algebra_1.7.11-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9smsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6wkP/1W43Lq1YitEvjr64b2keNDYMdAvJTKT VwphSM224jzZplvR5kBLLG12c5El003Q52tobGz3YqoX32uzyRkKOq/fjim5U/RA SLZjoRKq4uDQA0H3Sg7zWGhXFLDqTeU+ZCEvlzto2EWBgppdoY2MBBIh8VTTD8/Q CzEoEkGBmLSMD1s1B7v/dNxEtYMYy/KaZFU/ZHM/OmQ9vQzeRuxbeZ+ipcAOEEh3 fySSyXI2XP89d55ECsxaNYFvhqNBKAuN42FMVaqRpE6z0qscSPeznfrL1XK3fnjE piENqLBgcOSrgxmJRIErPvTGgbGSCC806e0n54cn+qiZivUtOhW3HmbeIhIMWwO6 dJgQAucGUaV8ONuI3BiELb9LJ8FX0lwy7eoAYBSyxYf663zJligLvF00ywPlxCFE QBYxgqDM6QUMfeZ9eyGpDUvHSGmtJlL4a2dIn8MCN3hwqcladDbyVPxNh1ZD4Jrg BfWG6pihdSYb9EOLCxQ9wWwp9kYB2e9GTRYF2j6BUvS0h2oOjtF+qjSUYp8bKSnm 4fW71hJ5HoRYVfYkzNCeC/yb5DcfY5jBOTI6SrfAHMM8/B7sqCG/7TROEGx5Tezb nmHhyY5J+A8pemqjNWrQjbyWNgA9onPav+zrfrQKZpnKnDdYU7nSQzwLCHdgPnBi D4sDlknpFx5p =2U5N -----END PGP SIGNATURE-----
Attachment:
pgpLTRhaXRMct.pgp
Description: PGP signature