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