Accepted coq-hierarchy-builder 1.2.1-10 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-10 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 02 Jun 2022 05:24:37 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=1ngITdtKwxbKi6/+e03qtlqttbIT3kVMTbdjXH/7cm0=; b=mkk6SmfXrCfRJIdrZCyecIH5CP ioL3hooFzA4Xm4oCLyz4oJTsG+A5GlYD2v3ujFbhEJ3cA1Miwp0526vxNS3Xx/sTmbnFzsUUM/0R5 poYRgx0oOOFPyVdqObNrS8Ak3tFHUT+mL+rYsNpJdTXvRAZhvgR/HUlWhbCl0FrFtbUGzclNq/l8a gHvVIbisZ/aNMEqG+I2brG8zwuehjOXRyQLuT0JjgMOnPtJSFHHn2FBino9arQz2O+B64nsS5IAmd b8DUfSqYGjUjQp/1TCrfNLy/k1boD1SbLc75EJTWgHfZKjpkzNciecrEMK6rKCVQpP0V1D0t51gZM 3jy5nLyA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nwdK1-000DES-RZ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 02 Jun 2022 07:02:15 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-10
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hierarchy-builder (1.2.1-10) unstable; urgency=medium
.
* Bump standards-version to 4.6.1.
Checksums-Sha1:
98f31f280bf4ed8b9dcda48580ff9b5db7944655 2225 coq-hierarchy-builder_1.2.1-10.dsc
2e19c02a5c4513f2a3f50cf42a12f4c4f2175453 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
973540f9537eb2e643b45fd71682d121afa9ea51 7373 coq-hierarchy-builder_1.2.1-10_source.buildinfo
Checksums-Sha256:
76ebe073834cbad5b3f731653aab624013ac099861007c0999574bebcf465829 2225 coq-hierarchy-builder_1.2.1-10.dsc
4e5eb281d27be2cec0823ae1a3eebf1e952ed1e0f19ea04b018c86feea81750c 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
d85e9d97c2f7abdd7147ba4cf42645842968d3d6d0cd661b23c8f33f50a2e6cf 7373 coq-hierarchy-builder_1.2.1-10_source.buildinfo
Files:
337749ff443b9025623c3caa0e17eb49 2225 ocaml optional coq-hierarchy-builder_1.2.1-10.dsc
b39c853d97b3e9d071ef0a541b469aaa 3772 ocaml optional coq-hierarchy-builder_1.2.1-10.debian.tar.xz
f23f828f1277929a93484a0ea28d1f72 7373 ocaml optional coq-hierarchy-builder_1.2.1-10_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYRLgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRn+UQAJNK+4DCAIoyMLGHpZ0CGK7znUrQgOtm
AUO5SF+7Zqzxgp0bfw16C2BgxDsPmXmZb7kqxLoGlW7OoFiEmU5H88sEFbx43HQq
N6cUUsnTG43TNNuOMQkS6Sbz1AGA1MtfUQVHoOBgVzAdEV83iCQHuers8NFQ8zF1
DuI+2LxOOaXSp+oyTq7Q1Z1eoswnrJFvzCDx0tFwJ83hcMnLXWqJaDLyDGfODtB9
xxyKq4t/U6oXTkmMFsJmyDhB34oFTRoUzHKXy5I1vsW8k7Vt1V4ovkIV+Zo5ag1E
+JoQPXc2cfpHRE2vz1275+B9iOWqRyYUk6/xgJu5g2ukAPawpFph/uQHSNLvyqnX
ZwL2ufueLTS+xUisVh9qfDYLszq6b140jLuRA/8m3bjXwnZH5uhlG9HiuN5qQ4UD
3DYB6fIIpvkVVpbIIvg+jkGbF4OTSJ0a0gruMYqA6AT8Yhj/Tf9VVx6Xju3C4Vlj
V8R25mNBd0hdbPP1Ce8beMvgk/1PZs+RthR+E5xHADzuFeR8JkZosg+gGbEUbH2M
1kUy1u5z5dKEOo0TKImULLPdoFmATnfMQ5bZ4fh1WcKEz4ddYNxGKoM7Q58g+W3f
GkpO5FMSiJMZ9sWdwBPOQc6r6awt4o26iQBFS3Q/1hbVPgPEyMUlCIRnyFEgi7BQ
O+SyY8+0OAvX
=b3rl
-----END PGP SIGNATURE-----