Accepted coq-hierarchy-builder 1.2.1-1 (source) into unstable
-----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-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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-----