-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 05 Jul 2023 10:07:24 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.4.0-5 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-5) unstable; urgency=medium . * Fix abi issue. Checksums-Sha1: de0c8a1f71d448db02bcd80880d31ade7c08fc43 2225 coq-hierarchy-builder_1.4.0-5.dsc f3ceeb791c9b0e19621effedce52e98fb6b7d626 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz 8b26c23dce83713c8eab831a7eb8cc4f75f8841d 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo Checksums-Sha256: 91c4b8ebebf93d546d4e667f0f511108c20af7bfadaebf484c19f50a5dd7c6ec 2225 coq-hierarchy-builder_1.4.0-5.dsc 1afbf37d79907e732948cec6fcd59ca648a6859e1fd24e9dcc922ce319b61d21 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz 31a0fb36de2b3cd3e79f30571109d1d02d5ac483a1a50fe48454ab77f7d399f2 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo Files: 815f5bb41ab1e36decb8c8694f37a6db 2225 ocaml optional coq-hierarchy-builder_1.4.0-5.dsc 4e90c6e72b01d3025150d7ef979af3ec 3744 ocaml optional coq-hierarchy-builder_1.4.0-5.debian.tar.xz 5cbf75a0c6aa67f87f92450ac84bba1e 8074 ocaml optional coq-hierarchy-builder_1.4.0-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlJNsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRklUP/AjYZEaq4X2rjxmWKR21758bVNa4qp4T 4LVk31TqEXXyXvZebvWae4nWmBqTqzFi0PW/kEYLjay7wrBSZOvCh5uu3nDGaroL Mdvg4D09yVpTzADtEQwesGIatIx+uu0bcmMOxudUZ7WGPm7YSiCIASm0YOLkqJD4 nJTfmAF3+gvIVEYPpUcuODSG3MMVBpdo5KFz8ZsyESzRPb5WBttAvMZ5pWeq1HmN 2rj2OeX7QF2PlfOQziInLmZWHgi1pDQCrWfepKALkLTeMF7GiinrCEXA6tfcRXwh bpMvSu0J+JAAE6cs00JLVAf41G9n6oX3FoM0rk3uInYiWcKXhuwJGcDXs14ffzMt yYNmWrSqy1LUSD5FmsCxVH+eaPoD/U9Ot2ypJM9pd7dcBa3Cxf6rvj3PnHY+TRFK 4lXILWc7wh1RTV+haqvD6HOf9X3TsM8LWKheV1oL68Ti3pDQwS1fQsUDNPZGRR33 uh/TPqQ+N4tDleLSyFjLefqN+7rCadZ6f4xcTByJe4RjnVNxZYiBboVEWS41x9dl k4T3wTC/mbrLbVxaONPW8Iai6nD83wcrT50W5dv5e0fGSqo8zgreiO2tNwbDc7kE a8xNJyAxiPuoC9leJD/gfcrSFpLzdkLERsIdnCgS9/nGFff0uOa+9QTpSBZxHsbd AmRGEAX8Zq9H =BUsE -----END PGP SIGNATURE-----
