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