Thank you for your contribution to Debian.



Accepted:

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


--==============#45042271484983734=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20jwAKCRCb9qggYcy5 ITHgAQCsoDU4bop1805Ng1yYM5RNnBXbAjyeKaLBW0PcpVdOIQD/QdDGtrbLd4B/ N3tchAsQoJnE5ngL2xNV1L1O/gC7RAw=g7Bc
-----END PGP SIGNATURE-----

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