Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:47:58 +0100 Source: coq-serapi Architecture: source Version: 8.20.0+0.20.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-serapi (8.20.0+0.20.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: a7cacebeff6530c35053806d5123cc3f9c160b5c 2490 coq-serapi_8.20.0+0.20.0-1.dsc d96fe132312f0a69b6ca54290e790299f68f9e86 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz f72b119a30799cffda9efcdbdba1edfb67e656a7 9080 coq-serapi_8.20.0+0.20.0-1.debian.tar.xz fdc24e8df919965c28518e0e3320dd5da7a1241c 8453 coq-serapi_8.20.0+0.20.0-1_source.buildinfo Checksums-Sha256: 1bb0cb555c10a7d1dd7fffc6f0fe08ab644249194c80b6773d8a3565478f7a1b 2490 coq-serapi_8.20.0+0.20.0-1.dsc 0cb0c19663abfe2ddf849834c7632b48bd48f715c0a912a12f0945b544ef07b6 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz c3b1ef7693733375f5a4e8e1b7188cc024e1677642514ba4097249d341c467d4 9080 coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 278e3c115a70eed16280ed69877d0bde97c17a4afd8dd3a768d40b9984f3377c 8453 coq-serapi_8.20.0+0.20.0-1_source.buildinfo Files: eeb864f83990826c7777ba1d3fd66a8c 2490 ocaml optional coq-serapi_8.20.0+0.20.0-1.dsc d2204741e31d77d86f734a9e0885ffae 182481 ocaml optional coq-serapi_8.20.0+0.20.0.orig.tar.gz 1d6a590d984688dcc85baa0edb07ea91 9080 ocaml optional coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 9f5c15226e89372eacd921f6cf80a639 8453 ocaml optional coq-serapi_8.20.0+0.20.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sHMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRvHAP/iK9HscW4pWDwQZzZ/YZmEGzyNcKnbbM K8HeDgsClb7ju6OwwfDnOi4XdI5T2OoNq453vFBtcNpNMJ9/tuUU9UrqoA16IZMN 4BAgDslhFa9G4firrkFtvF2drppc/cPZVBOEZYKm5Srzq+QBjWL97Iu/JGUMOGH3 nrnJu0d0QyGFiudP09yUfvuBAIkqOA1TMtfu+7ArmocafRtunOAaMZRu5dvWP6Dj 12Fh8HqnfZAbK+QMdiJlGBqneJKAdVjYPl8tZbHz576gzf7655kaxRK4o9Bl1V29 YyFhkHdLGw+oRs4hUMltwQpGhfcjUIFfRECgqHEVLUSBEdPDq953mSSIxzHTduQV ABFhqoMCOcWRtxCO0E3jjijlnpfhI7YqwRccTKlQM/N59bv4Dg2Nnn4qeUwy0EJ9 NtVqRCoOFwrlfbkj6n/6cW1+Pq2v1Vl1vGWlFs8lbV/H7OT8SpDP3TzjEddZHJOq BJm8SSZuJ0u5FYpJxsokRbCMk8nvi7xF32Gh1egfiZbzjgZSTgIc5qJ7iw7Yk7ds ZDtxQPGWLtuS5M1MLeArkLZatNvYzDxjKqzh07PHGrZ+TouszRPIAPy2irPIdNUB A2WrW01EWq6muSCuMreotk3cQ9qATKqehVSYCc9MyZ9CMSngYZPZ7WpMJ39lYITh FUUWq/wOcFII =xT6M -----END PGP SIGNATURE-----
Attachment:
pgpMYoK48llpH.pgp
Description: PGP signature