[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-corn_8.16.0-1_source.changes ACCEPTED into unstable




Accepted:

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

Format: 1.8
Date: Mon, 05 Sep 2022 22:54:01 +0200
Source: coq-corn
Architecture: source
Version: 8.16.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.16.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 cf398d93eaa5334a02076fc512265d7fc742bdde 2087 coq-corn_8.16.0-1.dsc
 b40faf9c7202d6e0855ae423e07ce46ef5be7e1c 1319677 coq-corn_8.16.0.orig.tar.gz
 d77aabdefda6687ab254fec5b1901e7144610d2e 3800 coq-corn_8.16.0-1.debian.tar.xz
 900bdd7caa918b04578b75336c2fa27b0a42a7c6 7044 coq-corn_8.16.0-1_source.buildinfo
Checksums-Sha256:
 3ec1b6b52f7e67f21919bfad8e112cae8182ff5a02963ff99e6126a292d32712 2087 coq-corn_8.16.0-1.dsc
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 abe13470deae1738adf2d0be7e1b401ebdb464ac00a6a152a58f743066782917 3800 coq-corn_8.16.0-1.debian.tar.xz
 943c4e49b80d59f90264ef854fb76c0fb23015cab11a4e53a6a9b25ee7227228 7044 coq-corn_8.16.0-1_source.buildinfo
Files:
 8bf3c0ea15992f8111801acd8c6333c4 2087 ocaml optional coq-corn_8.16.0-1.dsc
 01611ef0545afd98db04fc7c65cb75c3 1319677 ocaml optional coq-corn_8.16.0.orig.tar.gz
 bee4e00e32d632bf9a89a966cdfd155e 3800 ocaml optional coq-corn_8.16.0-1.debian.tar.xz
 e5e9b610348d49541b7f327ac8501c2d 7044 ocaml optional coq-corn_8.16.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRqsP/3z7AsNM91NwqSioB9M80Tg350SCRr5G
Rd71iiVA5Fy7yBhxJysiC8dZetXFNJk3BaN1gUV+qIHLmNj2/EkiTOrWVv32ySP1
MN4c33gw+ABjcrz7FXMQxyefhHNqWhEAn87sPPGp9NaR14VW2XEskqyaPadjUQTd
zeYQiejEHZSNsgNMPLg4FXeSJ721NB56loS8nQpnSWld/Iv507Cb9qaVXN3ax55Y
PdCVmTDOQ3oGDkSJn0fholxmlyrkonib+3ZS5Q42vbeTxmOz+763qcjXHBQcOx6C
ooxDOZs1lzQ0HEsJo8KABJag24n/4h6xdEYEzYO1UriwnKzDSIFwal1/FvUxuJUe
yWv0CiM5SeYCVAibspPQo4XPx3N2XHiWYcFFadBEPyHVGwLjrCr1pxvPg501MNkD
j8YHbG4WroL4A9a5MWnagvb5HF70dBXfVCC9Ae5P9BqiByw9nzjiBtsqHopDeZHN
xCylHi+6zmxClvReUGZTjnWxxeKOie0t27pz0OuWFwZQT4Xwv0VPZn7I2yG9solL
EdI6CGGIWEnmr6PCDBW+SK3sQRlcVuIOVvlbCE0KaQU/dJAwwUsEkyezEH4Ntpoy
rx9We4YZiUHYuXhVJ2a1/esUhZnCyHvSXH+NHyYaQEjtt2Tw3sBywQK7ztsnfKQh
CwH1YbEJTPrB
=R4VD
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.


Reply to: