Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 26 Apr 2024 14:52:01 +0200
Source: coq-corn
Architecture: source
Version: 8.19.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-corn (8.19.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
3bfb1b85202b24eb65d3e76614a23c8da4c40586 2089 coq-corn_8.19.0-1.dsc
39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-corn_8.19.0.orig.tar.gz
bbb1953a35fa3b9db2d9e3f52500883afc7569a9 4140 coq-corn_8.19.0-1.debian.tar.xz
7f21896dce693d20a20dc684a83c601e90c12869 8190 coq-corn_8.19.0-1_source.buildinfo
Checksums-Sha256:
a3e21d8774d17bd12cc6d647aa2acc8c4d8fcf07a3bc8155aa8d162042ce805f 2089 coq-corn_8.19.0-1.dsc
082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-corn_8.19.0.orig.tar.gz
57c5a401a7e07f753fe78852adf1e001cb4597c8c2b78ec7b1e9442df6e7e5d2 4140 coq-corn_8.19.0-1.debian.tar.xz
ce4b953187e7a24106c07b4561ce53a9e4939d03d98e244dc179a90d75c319d4 8190 coq-corn_8.19.0-1_source.buildinfo
Files:
51742723c801694a858333f3ed148852 2089 ocaml optional coq-corn_8.19.0-1.dsc
1e4bc4d838d4327be31236da7de0b600 169013 ocaml optional coq-corn_8.19.0.orig.tar.gz
835980b5b14d8d65d9ffa50aa0355948 4140 ocaml optional coq-corn_8.19.0-1.debian.tar.xz
a63c15f5e949805764ccd95e0074de6d 8190 ocaml optional coq-corn_8.19.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYro4YSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4S8QAJNuztr0e8xFZmKtpKGHRiMI/b5lHeAs Kp0So9hJIXyNcNwZdZ3EpdwpLnDXNFTbRffENjZzEtssksQE/IxPXwN6IaAPswDd APUz1yWZ66jw/xNGexgq4XVKAanLNWbqA8vNZTbU1KbQ3FaK6Sm5/0JuvH2ndS1l CLNAsvue/HIXxYAqIROG8tgqnYOfP3/uTLMh6psKh3nC++4nEIoT+QCRpd/2Qo6Z VwHdjQ9E32otIG9HPlvDLzeaN/YAqdodK2NqkUF0RKW9P4bH+zGHmVtqvCvMr92s YdOuNwQJrChJQCDNjfTVQEQXeb1vZ0sftu8QvLDax0ApO4k0aZ0YhWBozJ1UdhkF utGFrUSsa1FIZhiD0FGknMSI06AE+CLaDWx25jCvLhtqoM2U1Y3YvEVqS7T6q/ke DnWxlpfK9fJu1lDL7LTAqRyNJ9DDytrFB6UfHH7RY70E0cFi9Q2toR7ntr+Wrmsh GVjUQH6Qw3sV65lobmD/qy8h4+aYe3sQ8NEE63w4d9fRkS46g+geDKfcvu/9MkUl sKDUXbT7wCTNHjsflxb1nh/gg3ukiXl3XgDYJkvm1Ym7H8xPh9TgjnT9PShEOL7M WdspYoz7sJB0lL2KWkN7QiFHnyWxJHOVKT0douOtjnR6Xwz58Mpk+nww3GnLhnWL
XMQeMCAne/hk
=4Nyf
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi+wkgAKCRCb9qggYcy5 IR6zAP99LkigotxasNj4csGyalv8vXkle6NoXZ5BmgG2jpV2mwEAkFc59+157wJE 3NPx/j8cGHGUqEpfBR5kWNo4CAdJ3A4=pHsw
-----END PGP SIGNATURE-----

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