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 <[email protected]> Changed-By: Julien Puydt <[email protected]>
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-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz231gAKCRCb9qggYcy5 ISRzAP9yppDjqyXsGEGq1n8daeIJTg5Bb3miUQec2vyyIe1bQgD/Y06Bbumo8siO VFXmkUCAl62D67W8f/Dt8AkiAkuEnQI=2sqv
-----END PGP SIGNATURE-----

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