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

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



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

Attachment: pgpiXmQB8WxVd.pgp
Description: PGP signature


Reply to: