-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 15 Feb 2025 15:23:05 +0100 Source: coq-corn Architecture: source Version: 8.20.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-corn (8.20.0-1) unstable; urgency=medium . * Nexw upstream release. Checksums-Sha1: d3931cb52caa74e1bae7bd5c200e2d548a4a2c85 2117 coq-corn_8.20.0-1.dsc 2c48db39d3667975199bb1c65e9c168803cd01e7 1321158 coq-corn_8.20.0.orig.tar.gz 39370557eb0f6bd7ce9e916aecef8121df3fc831 4296 coq-corn_8.20.0-1.debian.tar.xz 21bdd3e0707ffc2980127c39ffe3d8d3a16f7214 7410 coq-corn_8.20.0-1_amd64.buildinfo Checksums-Sha256: 5fbae7cb1aef36236759ff3dba324e8b4382df67d50b508ab2d80ab293f62b54 2117 coq-corn_8.20.0-1.dsc 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz 9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754 4296 coq-corn_8.20.0-1.debian.tar.xz ed21d5010bdfc076b72c037f45a5db079a1d91d05d94ff5b8ec6ae738ef641cf 7410 coq-corn_8.20.0-1_amd64.buildinfo Files: 8cdec53f1f308e0862fb7a30ef6a5d05 2117 ocaml optional coq-corn_8.20.0-1.dsc c88fddfbcb34b0b6522d29ba3cc7940b 1321158 ocaml optional coq-corn_8.20.0.orig.tar.gz 0dde1a981cc1c2fed24f740b23082928 4296 ocaml optional coq-corn_8.20.0-1.debian.tar.xz e4cee05d24d207652888d1d52c80c35c 7410 ocaml optional coq-corn_8.20.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewsKgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZcFD/oCEkIbdLVNnno1vZOuM74d xTvKeQQsHQ90YSfgvPuVapRI21l0+Ip7/KUm4Tk3K2cMKl4QaOi7FMYo6kzMMv+o Vzh7zKPRVK5VNrGl861f9EiZirp9bv3eSYlayuV3tDiAmihI0WIbSnGNsnFS8WG4 twI2LhsvA9WtvtKgM/s6ZytlR8ywxBADM4owluC8blBAlgb/9LRmIrO45yiExSB4 1kiEGRGIjg5lq9hw8KcSRA5PM/5hHeh0E7SdhJZeTeqJS20RQmXmuZNa1iZh91Vr 5UEuVZ3Tju71cHaEbBC0N6jDdxGnuXfXPnhlKzTfqr/aXrDh4E85taV12hf2M/uU ZvOHqY3s8+qEBbh6haBWCP5fcZBcgOh2Av9in9JuL4CO4lk5C2XyxMKG1F58Fol2 3QuKiL7H1442VOqC5Bh12aWE/p9N5x+mT8DC2qXvH8f4VbLNB3v4sdBAtmqTVhrA BKCzG1hRCTfDoT4nhk55OZBKSFk5/AOoZr8vQotFyLykgpelT4gJQiGqe5tCDEzY 6j8aNEWpY028b37uoeYSUeVdU/V/PCj9AvkdIzfCAy8t+1IIgbEaFwIaITZVnzDj A8TwwzhwKmlkgGHUccCvdKps5CnduGVTa+UJCnS7TYeK0NHNY0SBQgk56Q63AbTM fAuTIr9jVVAYIpea5HjyMg== =+nFV -----END PGP SIGNATURE-----
