Accepted coq-hott 8.18-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.18-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:35:32 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hott_8.18-3_source.changes
- Debian-source: coq-hott
- Debian-suite: unstable
- Debian-version: 8.18-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ImirAJyHmDHIBo+dGX87L+BpHnbM76zyZC+tBlnKiKY=; b=HDVYeVlDx/x5gkvP2N6iWwnPch f5Q67eHPA2tydD3ZZMfABVpPKvE4SxTD4yP14t3XOJMHKbahg2qnWmyZ7HK/fygCt418LPRnA3Oej FwzMLCacfonZ5H/6zezA67yLw0r5BSKYUppGR7vob7x3zWIHOqLcArLnZoDPE5LtFQtrYUwjo4c0K r1o9+o3ZA49FTqhGhMbBsiS+rqsqQzXGmy0FuExob9AuH9v5zNvkjvpvEHKHw6PAPw5vCpHZmnhqI hxLK9cWsqsGmvb0A1YJa7vctQH85k21rswCxJKUTalV1c6eLPxsTC7oy5ItcpBFhanTqWvGSrUPNb 16tQdyJw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcsO-00DShu-U9@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:30:17 +0100
Source: coq-hott
Architecture: source
Version: 8.18-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.18-3) unstable; urgency=medium
.
* Bump for manual transition.
Checksums-Sha1:
bc365010571849a7e6602368d8caa7703d9dc0b4 2029 coq-hott_8.18-3.dsc
c2277ac9bff88521802bd0a561d0a04f00eae3ad 2888 coq-hott_8.18-3.debian.tar.xz
24b9d7a84a9f9a8bcf51374d1e5258f3c35b6b20 7824 coq-hott_8.18-3_source.buildinfo
Checksums-Sha256:
efd90911711336d3505993cd7dbb20d4f5774b21c8c7fcf285142a29d77898cb 2029 coq-hott_8.18-3.dsc
62effae3abde6c8f380861bb1e1773045aead9ef2d22fc3c00e3ac6f0deba0cd 2888 coq-hott_8.18-3.debian.tar.xz
f74f8fd02345d0e6e421ef501d535b238557856a78aa875f5ca28f9f53770f2c 7824 coq-hott_8.18-3_source.buildinfo
Files:
83b0dcf60e452ec53794c73a2711becc 2029 ocaml optional coq-hott_8.18-3.dsc
1d526ad57420eec039d4a6ae9d038d4a 2888 ocaml optional coq-hott_8.18-3.debian.tar.xz
723c560db05e5aa1a93ec6b04f1f41b8 7824 ocaml optional coq-hott_8.18-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETiASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqwoP/AgBHd8THfmBeeOp1ERBDAKamg+Q3y4M
3lKQxd6wXs/2CZrqYpNqr2wJORZa59tij+vDDk/dPnYfrF2RYeRKVP57P6pp8NcH
Wbx/DSBaDsyvku6/saAwv5MnZAe+dqdfg1IRiAyYOctUU6ZTpFiJyTXXEiNdT/mH
Sx0zKWvx4+Y5TJ02A0uAVFv8BpIPb8whk3ZKReDMv4+cLRHhBKSbfmyUmWhwWBqK
lDd1uAPYu0MgS1OMUXBGwCNW0GxwX/KjyR4ZUjIxDcPtBwATJyE9kQ6d6hiiuSgM
3f5WkQNAzcIDD6IBEjURRqP+x4d12CJw/jyWOjQW5I2ietu0ECwp0i9pE8iVwQ+u
HVLQG5IY+bAJ91nzPU9BG5fwnrajQioHz570MCT7r53O+6ajkoNOZ5ksXxjDfnZ0
smENnBCFqnKUeLqS985EQdQX3CqGXG6Yvex4dzqjeHNwBe1RBoY3hn/YPq/tugyB
gdwZ34zUNpnpuqeuk4Wd/j4d53J+kDGzc+Msfb1nXugsC6+owWRJKMWZgF/KDaKd
rQP4jnZFF7BZLMZJ9GwyylkKzBi+CLFhFpDaB7q9Dd52jlzanM5qHjRKlglMKOiD
JmRNUNVTmCv49Y9uSHTZ7QsYn1+leH2XAbaw9wsPkJjHEAtl9ZlDTFqxcS9ZtWYm
6/fvQHuVeLYh
=O0WR
-----END PGP SIGNATURE-----