Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 09:50:28 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.7.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-hierarchy-builder (1.7.0-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 84330fb1560ae4ec63a473fadc7f96fd1d7cde30 1932 coq-hierarchy-builder_1.7.0-2.dsc 65c636a5c9060386bbf902670efef8d6c5a6411c 2836 coq-hierarchy-builder_1.7.0-2.debian.tar.xz Checksums-Sha256: 965799b157360f1c23490936ebb4c4072867bf550bdd45775f93cc7bdd46ab89 1932 coq-hierarchy-builder_1.7.0-2.dsc 7f5eda30811152fbd245566efac54bb39c3ead26eb9ffb2907155ec8e7181302 2836 coq-hierarchy-builder_1.7.0-2.debian.tar.xz Files: 88e7faa087d3ca8c85717f2d4961a552 1932 ocaml optional coq-hierarchy-builder_1.7.0-2.dsc aa2dd1527ddcfa3c61b114367f038b5c 2836 ocaml optional coq-hierarchy-builder_1.7.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat4asSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB3tMH/3lkkPfy0lTsj7LZqG02SzkKXwUbqBdm 16sBo5Xr0h2ZgdiYK/C7ZTcSLElmaeAY4f1mJe/1wDuoOcGcEnXn/z+oRvltSTp0 PRKJJRoYz2PDSAOLYLdn19Qk00kozGFe2y/s4C7LTa+9Iq67DqSbEtalJ3dGVWcu uarYxzqhuRGcCrbUug9WsH916HBvB3HbgXAjeLfIunICMIQNssPqTfjCLA2QNI9j mVajWVZuCnT0Ke76GDKOEmQATxFmsatFA7OD+LCbjyfdT2LTtCWP6G71fKHUHmxb l+z1QhY3jxpSdoMGgA2+hTcQbr7smUjLxpC+/YP0jXfrhbosnz0VScQ= =mWpN -----END PGP SIGNATURE-----
Attachment:
pgpHRWw0bMT90.pgp
Description: PGP signature