-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 05 Sep 2022 22:32:01 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.3.0-2 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.3.0-2) unstable; urgency=medium . * Update for Coq 8.16. Checksums-Sha1: 4c319b2844fe5233bdee44c1105e2b7e14b70165 2225 coq-hierarchy-builder_1.3.0-2.dsc 0ce9fc59390ecfa53199382c5f4256fd5b4fb39e 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz 6791fea430b65b415366337e0a29ad915a1f9a5f 7560 coq-hierarchy-builder_1.3.0-2_source.buildinfo Checksums-Sha256: dd02212a7950d9674c656c6c5e4b48c3d71d1bc60d6b085da5884dfd35ec92e5 2225 coq-hierarchy-builder_1.3.0-2.dsc c4b557adfcfd904ffb13dbb4d6a2dc0f6e28ad603b211fd2334478fb32bcbf02 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz 2248f9ebea32ace856ded1c63c0f61eda8409af16845d3670b9449adeaef0d09 7560 coq-hierarchy-builder_1.3.0-2_source.buildinfo Files: 44c85422a371b583b1d0fe4800efb20f 2225 ocaml optional coq-hierarchy-builder_1.3.0-2.dsc d466ede1c84feafc0dc8d649398fa636 3380 ocaml optional coq-hierarchy-builder_1.3.0-2.debian.tar.xz 6a4c2c8453dda27fa64bc12e1e1ac34c 7560 ocaml optional coq-hierarchy-builder_1.3.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXNsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR8ooP/iISunOvExwaTW6kBbwOQCKp2DHN4N3O XNuWAhLbZ8TFax/7HPOCYvwJn5P1oo8KeGt2TynObkmhY+BcEwJIQ/seJ8HlPvBf KPqHYocVZ2OUVYtkbh6ARSgs3a4ZSGbFiHuQMuOIdO/0/i6r6799W3qVr3U68EVY jNxqzOcQaVxPY6MoBO2WUIfuoLTD1QcN8MxJLY+kGAwF5YtZMer7vCGZRYTKei2f EuSWOuBV0/iJuukl8uVocqxIQ2mztsXKMmo0DabDIM+udZ+eqbbg30RnHGn4OeJZ kwFt9Dgp8+lheOjFMfoSi78Ntr5FJdLSgDwXNY/yB5XLd0Hn+EyoEMH+hHHSooaV x4/rMSQsXhIe4cgsC8/iNl/3FCzlJNH87fDL54QVDUBlgMJOqNao14vTstZIRDB8 v4bcS3JVUlXUwFQG30xMk3t57fIgDpoKnTMy6qjqEoBwBnaG1H5Qz8GOxe2aor6y ud5tRKJKWk07bsdTbN5ZvkQiBQYkx8hgENLWjgqeyz3Zl+nEJ9Dn3oDjsJxn+C/n 3RaYNdP0cLucGneNKLUHDDj9+7Ih6UdhLE5KaNISRjb/gAsyqbkH1c+kFn6TNC+M KoNerWoO1kBbs1s+p3wwz+eMNVKuXpDi6jSxa/O5xZmhGDdknkDMoaBlt9Ohx1/J 8pes53GjegLZ =CeXL -----END PGP SIGNATURE-----
