-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
