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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
Attachment:
pgpG2Eg7HWAUs.pgp
Description: PGP signature