-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 15 Feb 2025 15:22:32 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.8.1-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hierarchy-builder (1.8.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: fe50b8eaa2df596167d6c908681c2e0f03e023e3 2163 coq-hierarchy-builder_1.8.1-1.dsc 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz da6a7edafd2740609b30cc29415adfce74705ef9 2872 coq-hierarchy-builder_1.8.1-1.debian.tar.xz ab28c88279e0a9eb244f7dbd14e460416aa5401b 7454 coq-hierarchy-builder_1.8.1-1_amd64.buildinfo Checksums-Sha256: 873579a5d7a6f6f199b4e1acb49be13a18c2e8ab5ec94b2771e908fa36c6db65 2163 coq-hierarchy-builder_1.8.1-1.dsc aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz 99e0b8d83148eebd69fdd0dac7bcf1efe3fd6378522da44f1f9da314cf2cba35 2872 coq-hierarchy-builder_1.8.1-1.debian.tar.xz ef5825db8d1241dc76dcfd381e6ae05907538c7f7b1ee83f7a4e7c46c0a1695d 7454 coq-hierarchy-builder_1.8.1-1_amd64.buildinfo Files: 67805d9429296f5bc1407ebe181d4444 2163 ocaml optional coq-hierarchy-builder_1.8.1-1.dsc 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 ocaml optional coq-hierarchy-builder_1.8.1.orig.tar.gz 88cb9c2ccca38158de60aa039b5c2679 2872 ocaml optional coq-hierarchy-builder_1.8.1-1.debian.tar.xz 6f5862168efa1961e44f93f50716c090 7454 ocaml optional coq-hierarchy-builder_1.8.1-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewrskZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYVMEACZVz3WcLsar/X3HrWWHL64 2kWVuud5s6evxcqTnJAaSR+/y5KS0q+1K0soNIFpltYI8G+S2yvP93WliZayyOkt FPMIfOn19fcBb/4e2fm+66CNqxoMOIHKqJ5wCwc0vF42s/ERNwagielSpKGPrgzE OEEW/P9qxHm2ZfmRYE8JmWbxjO2su4eCwGJfh8JhfQnRVXSZFuKAnIsg17Y0mjeg 5Dq1FY69WOdi4jl0P59bxTmDjXe9YQptxzO4nqU59UDOibLaAvWBwpgYqMC+Hj2n O6kWZ1Ot7p0yzT5RL34VZY0chj477D69bddOCiJND4MEbsKgO+reyLbNXgRmgeWl p8ll0h5HvRFZQYvJlDHwJSkbLR5Wc0ABywZKinO0n7yJoCVdm2OsRr8cqj3nmnuH scqRaiFej9E4vZn5gkKy/pRn0Gip9iZBFBhnVYcVsAcjHivUHX95+jwHocnZ4VxG GIElk+yaHBbc4uwtTs5gRcAg6CVAwQf0KvsHxFmxKtFl91nQ1W8eZ7OPT1SjP+Me VcnTytOdJsw1TUGWpMd/KUvruPXEJgsPV9rvETkISaIxwUaEW+TGq3gCPBHDyxXW rv7U/D6dl7H28loh04ZjTI/nTLnfH5M+zrvtqKP+5HdsDrwJUGJ3+u0yta37iuSB 34rB07Rez/Lgxd8PegJAEQ== =4DK3 -----END PGP SIGNATURE-----
