Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============04266739373115204=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZue/xwAKCRCb9qggYcy5 IZAgAQCV4BZXrpmCGJigZVI5mmaBWD9rnVSU1knLE2Wu7xGELAEAsVrFBoNaWE1U bjDiqr0XQ02fbKyS52cFMqdGzFUZzwA�oy
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)