-----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-----
