Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 17 Sep 2024 20:25:36 +0200
Source: dh-coq
Architecture: source
Version: 0.11
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
dh-coq (0.11) unstable; urgency=medium
.
* Fix coq-serapi addition.
Checksums-Sha1:
709d2dcccf1badda51ed77b4388f05f7ee7615aa 1655 dh-coq_0.11.dsc
493bc68166478952e3dc3755c46188173c51b014 8592 dh-coq_0.11.tar.xz
2946fc5ff551d26501ea1659eea9c7dcb1f61678 5395 dh-coq_0.11_source.buildinfo Checksums-Sha256:
2970225c00a49f6959e5f1ba685690df53cb6916ac3ea7acf93ce0dc39d723d5 1655 dh-coq_0.11.dsc
5679d5539b44195cf46482beb1c6bffe31a66e06e725ce0f153d6ef52ec4b5fb 8592 dh-coq_0.11.tar.xz
1dc2355ba42ea5290fdd195cbb6bf016cf330bf2d17a3ce90f6db6198d4205ae 5395 dh-coq_0.11_source.buildinfo
Files:
11d3be032379f669a71444effac0ee17 1655 ocaml optional dh-coq_0.11.dsc
92e67a11795dcd398b9f101c3ebdce83 8592 ocaml optional dh-coq_0.11.tar.xz
aad1bab367607f212d7c6a412f25f298 5395 ocaml optional dh-coq_0.11_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbpycMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRyIUQAJgCZRZi9PISYxStGwg7Ycxp57xiD7YZ YnnwhqMy2R5VJcQXSd4j07FAZhHbPMJb2GIX50aZVHuJMgfpeKdhSR2jafD/qh1/ jELG8p7qMycyETtm2sbm0NdQc7Ov96MDv5HTe+YEICCrm/nI7rGRmpju53bIZeuY 21KbQE992t6/3fCKt7S28OB1kDaILBoPcwRDIZ7zS4KCHtYidaRtz8t5fGNz1AOQ zSHa4NzKxIZnfD0yJZeCONkWH7Qu6C1+2zg6NAnAn2ryMetNwI7n6hOZGRY1FCNW asYdijsUV/79ALgYMtrGhYWpTQt3ql8jfbElxRsANFImKa9VNb/L9J/wDWMoUPRi BppJkFYYioI5cv0C1bllrk/MUFVAulMl+/QzcvNVzkbFaQ47HgndRJnAM/63rBLV 6Eq8HTkGqIr65S0ICdpkgG+UcELLMKMvuHstIqcPza/TDNg5EURNAqFmSvGILg5R nOVM6Ir0d3CgTjmSYQN7YbjgZJ9R7DKnWuaaOhKqe5DZpMuqG5bAyjRVSrvSDTX4 w2f8TakKIy2zJ5PnlFtq0u43K7qrdzYqxwosyy6REppXGgUTq1fcuJXkh8wdrThL flI9j3n7BBkT29a1eZdlDJ9Socr80cAMaekrDkOAomjdNT5yWtMAyIrvW/ANfRlp
nLJLPtwKbUnl
=a/1l
-----END PGP SIGNATURE-----
--==============17968897679287941=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZunPGAAKCRCb9qggYcy5 IW7LAP9XUhyjZMgSsjDqlR7gHjT3y+5lC9Xu6bPVYqrYLx3+egEAlHJeQiFI4mYg lYyBrKn82rfNIak9uM9eJAOnVX56DwIWh2
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)