Back to coq-corn PTS page

Accepted coq-corn 8.19.0-1 (source) into unstable



-----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-----

Attachment: pgpTMZjhecod0.pgp
Description: PGP signature