-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 16 Sep 2024 06:48:31 +0200 Source: dh-coq Architecture: source Version: 0.10 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.10) unstable; urgency=medium . * coq_packages: added coq-serapi. Checksums-Sha1: f6e4567e71abc40c5e40f0c4625c07226c52975c 1655 dh-coq_0.10.dsc 5397ac595f2a81d326f2efaa2ccca645e31619f3 8560 dh-coq_0.10.tar.xz c847d5adcf878a177a9b21b23c47f60d524ed70c 5395 dh-coq_0.10_source.buildinfo Checksums-Sha256: f26d7f99fe1bd9e3161d5cafab3dbfc304352872900686a562d25ba35d9c1318 1655 dh-coq_0.10.dsc 6848e450887a479024a92ec8b6c55014a20ef0cdf65ba8d83323cfdfb7d883b0 8560 dh-coq_0.10.tar.xz 90336671697f54c382f396e2488173a30ba3632cb58a5f8fe75e2de6c69987a2 5395 dh-coq_0.10_source.buildinfo Files: 396e796377816b86cc186b333a962495 1655 ocaml optional dh-coq_0.10.dsc f43102cc499a5e009623d5dc919410ef 8560 ocaml optional dh-coq_0.10.tar.xz 327d8ddec4621b7ace563fe6964f3222 5395 ocaml optional dh-coq_0.10_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbnvB4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRM9gP/2rjuH45vzFV5B9MP3zvVxPsWIIDNm9N bvpKexuSlPHcIrybNUIKX4Hl3t3I7n63bF8IPVPGEGxThHrp54Nsgzguv2Iu927F GRG9tw7c0+tdJbT18mLOXqA972Ow8XBKlgU9oLNrNfwU5cCX/NVjBkSQS/6c5kUF 3FWKV9bqISUeYNTMZftfmY/qIa65PZ6JhUx46bAaGkfDqGlG01FdvJt3o0NbDibU XD27Ypn3aOcZZUZAvFu/5Z3b6wpSCL0IPlHmIZmgnzDehHcPCo9p4M8zLIjajEJB 5RnrA3mcIzv6tAqx+R842gP+sOtRcbqfUzQYQX9Y/WRn5Q29YyZqovz0dJtjipwv 80VgFRiey58AWJgd4GRb4zPjDXFYS7nssWZ9+s2WuPlvxFSHT+Dj8TAaQ7aLbFF5 BPlb059Z7Cy9b7bmNDKMYvI9qXAJXhCq2ML1YJJeTMd5/IGzFEA0CHm2Od8bF5zs owSUyp9mINy/Xua1I7DTxUumfD2veA4aA+Nof4entxxdzyMe4WrDgdyJ4kQy1Ble o3Oof14tJy4FUZfOMATNxNuy4NrJ4/KD4yJ5ol6S2otiM6NS/STNvFnqFfIa5mG0 zIp0JB2P+wMD946vxc0bioKNaZrenIgubK927jeffxmYDjGem7wsfJPi6XSl7ZeC CEcZFcDhk5Ib =BRoQ -----END PGP SIGNATURE-----
