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 <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-----
Attachment:
pgpy8a6v90V4q.pgp
Description: PGP signature