Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:36:08 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.17-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.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
* Bump Coq version depend.
Checksums-Sha1:
5b3fb96bed6e4ea73c5ff1f8b8758d70c7bf1166 2121 paramcoq_1.1.3+coq8.17-1.dsc
56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
4cb5cd709177fbd13f9045f9a16829b7e9a580ad 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
15b10b9851500186bb21dc965ebfe1c9658acd3e 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Checksums-Sha256:
51444d61fa7bf2e5b3f4e548aa6809f795b191bbe5d0ea7f13ab6ebeb4299128 2121 paramcoq_1.1.3+coq8.17-1.dsc
82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
338b45a998e15cda1e19b3a095a545cfd1f27af308c2b2998f2f1dbc5a685a08 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
3f92c9c94c231e10525752d28aac247b555c79ad8bf67d6f2986adb22b4973bb 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Files:
0e7de63f5ced6003ebcc935171a03943 2121 ocaml optional paramcoq_1.1.3+coq8.17-1.dsc
62df81c43c91f090885b435672897f74 45683 ocaml optional paramcoq_1.1.3+coq8.17.orig.tar.gz
0e015106d0641800f9ead4fc32fa5434 3024 ocaml optional paramcoq_1.1.3+coq8.17-1.debian.tar.xz
1a37752c96a1edca6176db955d48d07e 7359 ocaml optional paramcoq_1.1.3+coq8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV48SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwEsP/3MOZAmF8SIyGr0xP9IS8HQBXOq2ojn9 r83z19PhZwAwHaiwmX8RdqkKRFySsulANDfRlFpb/UXYA7g6OcCN00hifOEzeCSi eOj/nOnmbKF1L1wQhxjsMU63zZlsZaYqsyX1uoIg0XO2AGdFz6cqa0BUIFT1IDuc 7qaJz8BD996OQMfytnVhUq0xu03fWllebO0SC6ln8VJFJziPgpzNGrQDAw2JfXBn fcjz9WMMKBDxRgAvhJxBADTz8aQ5vkK1Xsj21ztydqJ5/TRXCS6bGJSXBjmkosfG V7v+ldo3gIr/A+ZtpL9Y5dZUQpiT43BtKjlVCpRym2q7CqG1nH+9IGrbcim21tCJ q0ZRIjU0w3d3q+pjw+sG7pEdJbfxTTowILR4t+iZkWtXm0XqA7X3v6CIr3k7YM/8 za8IoAf/WYSYoFvjrgwDQO46WsTvkRp/v79VE3R1wFDV2CAakdUxyBl3CXmRK63h lstExfaAhsBEwSJr0ip7lNyKhA/2ryAuFQvPgKsKpW87UebMeO1tk57Is5ZFxMQr UlK/XdNE+YdkRmjRgZF+DYQdMFjtknWu/C4z+4dndFSyXzAshX3KANdT7G0X83Vi GIVWcniUabGiRSnI/COpE1aQHfQeNIR9IhKQNAqygxWQ+3Xn0LChOKla/dbFs4Ma
X5/4kItiTzxg
=FNCD
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)