Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:51:52 +0100 Source: paramcoq Architecture: source Version: 1.1.3+coq8.20-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.20-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 54307477f79d4d7afc14ffa4b4bd8a2b37ddb937 2111 paramcoq_1.1.3+coq8.20-1.dsc 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz 8d629f3108508e3681ddb14ae5afca1367913e2b 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz 5b1156d81f4b1b04b64d00acc85d785045262914 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo Checksums-Sha256: 7d45365d28643773cc6219c2dd6d0fe8dfee43f72d1d06214c9bacc682045489 2111 paramcoq_1.1.3+coq8.20-1.dsc e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz 1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz cf877a3aef62731c0500b3af97a8410a53071384719c80743be4382f0efec14e 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo Files: 837f10404047788be26ec4c1484b08ef 2111 ocaml optional paramcoq_1.1.3+coq8.20-1.dsc 917fcdc199ded6847ed0425a92876c27 45816 ocaml optional paramcoq_1.1.3+coq8.20.orig.tar.gz ada72cf74b95c53b7ece4fe41e3a4e66 3184 ocaml optional paramcoq_1.1.3+coq8.20-1.debian.tar.xz 8bbcf16605cd70eb23ba648a710510ba 7152 ocaml optional paramcoq_1.1.3+coq8.20-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sVUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSF8P/3p6ejrRlzzR0lb0R75jZ8RXzwe016WM 961qODRrBNe2Cvj4lutVd8Ghk9bzW60jFkQHDXRpFsDYwokk/RSbhNkelm9PGEJu PV+vAHo3xIqdZHyyRJGl+o+VM2xjCHzY/YJzMEgs9DO9PR/S+5tB6s6mhwMncEc+ n8DHH0viLIucRTzKL7Bm9pMJdALPPSDCEigyh4wn7twdRZSDvsP8R6iXqQD2rLDy wwzwL7DjN/hgxzR821u5GXPbxb71PbqCoya5SOSmbLnPuF6wK8RiKD2uEiY5pPRi 11iNGaSH9UK0jsZ8BICz53tY3hKDChwHA3iWZ53RgbuWDAUgDyA8N+4Jzun7iVk6 SEX9SljwwtU+PXboxyExu+DUdRF7Mhfq/+YIzlMYsRr7c14idRgT4nubQOeJpDDu zlMr4vRFu/6h6wpcBQ0WUFpj5zLr158XmPjfp9KBTDKlp41QaUFh0QRrXwfFBeG0 NZlBQWJiy2Pu5a8j2HYvGos/SvrhoytYDE8YiVrPoRDhUO/pNqGNReryaitAMmfT Fqa2rvYn+gEN50oH8fAn3r/R5y+QV3HcycAw8nWKy2MoHmGMZVbrQjLMT4gJ4bWB i1oMFiGDNU8bF0wlq0qLN6JIhCDyhaM6D6twHmI8bQNf6sqJrfmKbDcqTWy2N4ZV JxZ8QktaPZ2k =Kjox -----END PGP SIGNATURE-----
Attachment:
pgpKDZlqHfqBV.pgp
Description: PGP signature