Accepted coq-relation-algebra 1.7.11-1 (source) into unstable

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