Accepted coq-equations 1.3.1-8.20-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 20 Nov 2024 10:52:33 +0100
Source: coq-equations
Architecture: source
Version: 1.3.1-8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-equations (1.3.1-8.20-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 3a4e02877c68a6d9328056fd366110be954b920c 2180 coq-equations_1.3.1-8.20-1.dsc
 719ca21fb558dfa59ff3577ac7f9ab889ef8b12e 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 0627f9dcf6113001230dfb217d78fe6760087166 2748 coq-equations_1.3.1-8.20-1.debian.tar.xz
 1fd09276745b431089c19ef8c4c21fcad8c9bfe6 7226 coq-equations_1.3.1-8.20-1_source.buildinfo
Checksums-Sha256:
 c1d3e6993c755cfe3f027ee16255b9aa428ace427946949c5c889a9d56a36814 2180 coq-equations_1.3.1-8.20-1.dsc
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 eb0b8aced113d6453b8e415e6169495156a84bb871632d5c2111f237a967939c 2748 coq-equations_1.3.1-8.20-1.debian.tar.xz
 70b5dd3772467a7484db8982e100908706de2b999e68a4efe55b824417d4078f 7226 coq-equations_1.3.1-8.20-1_source.buildinfo
Files:
 c8e87d6049a5666d01dc27eebb6ac33e 2180 ocaml optional coq-equations_1.3.1-8.20-1.dsc
 5cfe3dc4c2232a559e866a492917975f 1104362 ocaml optional coq-equations_1.3.1-8.20.orig.tar.gz
 2001ed02a9faaca50dab83c2e25672b3 2748 ocaml optional coq-equations_1.3.1-8.20-1.debian.tar.xz
 23bd209d4732f3439bea8b6da095200e 7226 ocaml optional coq-equations_1.3.1-8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sYESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzSIQAJJaJPN7h27vaWIhnyxNt6ZvUwXLPMP9
//y+YNVpIa8j5lGsOJOnbXG9ReqVavlUpKuVlUw7ka8UffJUvnGHXm6+4zO8gFak
B2VGz+l1zYa2sJ0+/CPLnM4L+Qk3ZsItBSZwA7rUB5+JKg6KJLMqK9qMPskT38Lg
rygv7km2eCv/1XxKbsP32B0dbP/zLtNw1rmpAgAuZUISXC3we8Kl2Dhx1n5solrP
Lh63qvhr2r10LlZ34HA+uBIw5hNXDt7sUMej3w0CabjP7i7r5vSflbtTXFM7pm/V
T/odMFuKkDv5h92A5Ax41BjWOvTMlTeayfrqME7INerPR8ISRmLEG887sx19jgqw
66vOSK6uI+3GuZGCELr2Kvgxpi7/YcyXXBJALG7t8Tel1l1OgocN+ZPCTrraeHbt
OrujM5czlwbQ9MhyyCIjlY8WVmMOEdMNYYthBYlwsxMMJe6f/TbfiY9kZB7LJvY+
3zA4py60vqNWQZFrwBYZ4Zkrug2XSxmXQYZRy1cS8HMnrLpIcaddPGv9uVZY2A2a
DwpQp7cWaAIe2A98nDt6B4FX0rEt3jpLFpe7RViEmSw2zCfIwjzL2PsxjTYayvMI
5WNcB1wgHC80Vlj5FJ8RKvXVbcpXWDonBcXkPpbzNLjXoLVQffOuxtR+EHbASSQ9
v4V7Ol8qKNxw
=uh+u
-----END PGP SIGNATURE-----