-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jul 2023 15:52:08 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.4.0-4 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.4.0-4) unstable; urgency=medium . * Fix patch metadata. Checksums-Sha1: 2d73a3986aec147649531d82822c66fbcd2b8863 2225 coq-hierarchy-builder_1.4.0-4.dsc f60202ec6703d9b0eeb7c2ed105880582bac047c 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz ba9e8306c3051b4b147f4d2bb3ab5e280c586e5c 8074 coq-hierarchy-builder_1.4.0-4_source.buildinfo Checksums-Sha256: aac2d8210a9e38288b453803396ed27363f77cb09099b2e70ca228da1ecbf364 2225 coq-hierarchy-builder_1.4.0-4.dsc 729472476baf5c906f2562256c36582658c7f1f1bbd33a97f7e80e12573720e0 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz 31e3df2f74041a31c4e51f9cdace8eb13f827a3b6bf173ca1aa1cb50d06c096b 8074 coq-hierarchy-builder_1.4.0-4_source.buildinfo Files: cacfc2495b0de4330a0072e3ec1d4b27 2225 ocaml optional coq-hierarchy-builder_1.4.0-4.dsc 8371b4afa2387b7ec4350296ef741db8 3724 ocaml optional coq-hierarchy-builder_1.4.0-4.debian.tar.xz 36fc858bdd3d85742340e19448e9b2d4 8074 ocaml optional coq-hierarchy-builder_1.4.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSkJB8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR2j4P/0GaJYx9OLmmpH/UPLQp9EsR8QI4y1Uw jIvvzxI7k8pLBXy5FdzXZw6uDf+Co37y7DQQ4+oKe8lDEO/s6f5yTYy/SmI/PCB8 q6TFYIDUpl5BBy3msDwrc8Bu9oS94ZxNBdCh5XHsV9a7w3gezFX6uprWviJ8rwaR lZUGakpvbewaNzZb2L3vukFLOGWYOGWWWLVv1/U20JFx860R2KZLC1rQEHAQfhva oT1l6xTzkZEbOLc+3ujhzGGtmUn3gVwvyYtEs1kX5+972UuhypE4ok6CGW4bKxgx h0sJt2bg/keH6yXrlqG6xapizK4GinfetQ/YjOXAfNYZWSbbq2EBNIHQnFgWfBh1 ffdTu2Unvkvc2WZODu1rECfgn1QkfFyvLtkSUO5Sym4Mn5/ls/YiDYbo7b8LsFdp FSmYwgU8rn/pUlE+JDc08q27tUattWlOqEmmQrvgZP9OAt+tRCqcb5R5jDBQlG24 37bTbNZ/3z5PMrYde1lTrLDzvi3Vapdr5qUag80WfxbWDKix8199bcHBT4fLusd3 5mJSKUUV/noRNYHZcBHwmd3li3KiPc94SxC8wn6JtdtBx/3ThBwZpVlNXwjeIEv9 kgpDiKSvFtV4AatlUORr8Q1nN+ExH5mZwegA/ueXocv+KSoTdRL+xPmLyazn/1tV o6zm1jakSrb7 =cPSU -----END PGP SIGNATURE-----
