Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 24 Feb 2024 09:57:47 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
paramcoq (1.1.3+coq8.19-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
ba086043658ba163d54ac19717b1bb23a69945b2 2111 paramcoq_1.1.3+coq8.19-1.dsc
7dfd1153b6beb50f255fb1fd29a9083b41b59731 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
9586c5252c96b12a382a53a1ad74fbbf6d98a5f1 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
7c030bb74bed903d27ec2eb5dd76252f79a15f4e 8365 paramcoq_1.1.3+coq8.19-1_source.buildinfo
Checksums-Sha256:
24c7449d798fc6b2201a216f568b4bddea07657f2768654d3ba4e4afdc5c5c61 2111 paramcoq_1.1.3+coq8.19-1.dsc
b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
374233ceaf8fae65369cb31b260f45f068e479a61e4b2723a564c7f3384e66eb 3096 paramcoq_1.1.3+coq8.19-1.debian.tar.xz
259e083a28c916c027e950cbb0cb148f9f65569c2788e55041e25deb94905c13 8365 paramcoq_1.1.3+coq8.19-1_source.buildinfo
Files:
e325bacc5da26a201ffc87a6cd5c00b7 2111 ocaml optional paramcoq_1.1.3+coq8.19-1.dsc
8195351e30a8ac84fc12c736ab09ce21 45881 ocaml optional paramcoq_1.1.3+coq8.19.orig.tar.gz
a6bbb846c679337574da08560c6360b4 3096 ocaml optional paramcoq_1.1.3+coq8.19-1.debian.tar.xz
a616780f12d9a98d97279776c2aa4211 8365 ocaml optional paramcoq_1.1.3+coq8.19-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0oASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRsWEP/3bVpinjVLCE2PBK0XkgW7E8x9HA+5Y+ E8qHgP8c3JFXmGez0jNB026IcIvUVFxeZGaFRbpFlNIgDv3iDz9+mS0IsuRO806C 4M2yUgBcvQfqS7nLcAimj1xuNc6VRbjPqj/bq/NK4y6+gy9AOZj7FbMshTDEbpud hTU5oXDZs8vBpmo+GWSJ2uELfUmvf9m2oCxUvPBMaQmPachK3cw8LxIWhG8dZLdD KoiMVfuEAPFDNS44WOtl7HFRtZGSnSrHCekQig7EjPAxshnaqLQfLBOYvEPbTWHH Fa+VA4C/VftmAPDYpZZXm2IqYMOO0nziDqWwgLO4j2A5nzNpO0w4ywMIoLourClT 4px7mhtYRMvtRQV/2sxdGD2E2idB/SrVR2dvXtVjAgzKnf4eZat0QsrKZgYvmFn2 rdy6kxbrNMDy8Kbr5XpyM/P350vFu3Om5jAooSwm3NAEAZJVsqSv4c2oMrytN7bX sC2CnzgMadlOWOT/SDyKMU5z4tMnpU00m7Tx9CVgmLi1/di00bs9PTCb8beg06NT ftvQGSmcKPtTlENlU9T3SpwCuSixY6ud6pcMkd5IzizgRnQUeX0KDAc/Dp8WdsXO pUTjZYXleGTmtkBWVyoIAEM2kLwRS/q9LF6xkKZB7p4S144eBl2FTP8NVbkJupzn
41tuDQzFPfrg
=gAe4
-----END PGP SIGNATURE-----


--==============71840621903886605=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0lzwAKCRCb9qggYcy5 IVZsAQDEPcKeieFGG9ZKuCsYa0sp7fDjgGe3aPnP1AfAQsbe2wEAjnDCk1t4sMlg 7f5Jv9TY9a9ptCWem9qWo6HglkU0IQg=T+N6
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)