-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 17 Jan 2022 15:42:42 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Closes: 1002930 Changes: coq-hierarchy-builder (1.2.1-1) unstable; urgency=medium . * Add explicit b-dep on libelpi-ocaml-dev. (Closes: #1002930) * New upstream release. * Drop patches (obsolete). Checksums-Sha1: 552f35e2483bd1cfb136e94e79bff55d3b533e18 2215 coq-hierarchy-builder_1.2.1-1.dsc 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz 10ed51699b320b11641fb76e2547770ba75f1623 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz fc736d0da7ce361ae23e4a733e75b50f6bdacf3e 8040 coq-hierarchy-builder_1.2.1-1_source.buildinfo Checksums-Sha256: 80d9cf68e774be42bf74faf799383402271abbf61e64158014930b0a60b8a24e 2215 coq-hierarchy-builder_1.2.1-1.dsc a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz 87776b4928d906a11d5a96317ae68f7b05830d174a72c2ebb481013f499a215d 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz 581fcaf0a08bd553371e8149cd078480e2cc0b1ceda50820984beb316f85d6a9 8040 coq-hierarchy-builder_1.2.1-1_source.buildinfo Files: 81ca6c337d9368385fd813e95699f2c2 2215 ocaml optional coq-hierarchy-builder_1.2.1-1.dsc d58be118c53633852c814eb042f67129 188565 ocaml optional coq-hierarchy-builder_1.2.1.orig.tar.gz 000ed56d5b26a77511bb762dbb5319f7 2628 ocaml optional coq-hierarchy-builder_1.2.1-1.debian.tar.xz 65497eb189670ae229d082ec0eebca39 8040 ocaml optional coq-hierarchy-builder_1.2.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgI8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRnAAP/1yDwKxyiz5ajZpiXEZXPubnzeUjzr6Q iMqNCfIWDaGNQEtUGp/jxZmRc9HkzTDYI03eXMSxYBTxNupH/+3du8+/lJ/3gwHz IWtsez8I64g3a/ceproEXSnj1LRpU6ztqO+EDKLBY19Yst8cFS38MIcxz80rVFSW 1gKyeYYRygJJXuzRFquvuldZMKcWoB+0+ri/ye1seIWWbXT02P47s5vEKncZZ2fR uN1JkfGh4f8rMI8S/ganHcKEyrlgQrNUIqo1rIUWRLFYS0yzWTlzsecUxUbr5d/H Imr+4ShH8olW6bWUVqAMG/svw+5u9ThAdkwx52xUukNMXeg4cVXMo2IQUyiQhmzy SdNvvvPD/yPBj+6nr+S518uXFITe3d48n1pBL344OO9TWZoMVTtNhHHE+GPxrVEj xN9Wh4B06R5Mj6evYVAlsy1lH2zn2C/MKVEdMxPBEUtMsGdeVPgyU3e6pcqvuyr9 kLjwqDGIWUJar+tr+GJedxGE+8EzI11ev0RTyQRdPHUNpYD9czdtExdr2icOXnpY +w37SdEVWq+APn9a7KYNUqskJ2o8C+VRzrKsVItMSrEFGPyRdfyneqoSUan3XzcQ /M4NfdOINl5jFRuwNyHwDRVYMZCR5rO2sOn3cOsHcL6CnCLK09D4TCxGagtx5FLa feAdX8ZBI/qe =3KkY -----END PGP SIGNATURE-----