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 <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
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-----
--============== 88412954642526104=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq3rqwAKCRCb9qggYcy5 IdjBAP9oXlHy2A7r/vf30m0JpUStUlUCo1U048yoU1INwImTbgD9GLAQLOtbWPca 9gnm22FtWNVzIHaUiPuPuureWb6bcgU�gq
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)