Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 09:53:05 +0200 Source: coq-ext-lib Architecture: source Version: 0.12.1-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-ext-lib (0.12.1-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: a11ae787bea50545a8ad7077b67582b25fc044e5 1861 coq-ext-lib_0.12.1-2.dsc 5ee9898122d156fba696ded6f93cd2973f06d7a3 2328 coq-ext-lib_0.12.1-2.debian.tar.xz Checksums-Sha256: a913176368797b3f6d36bb8557bb5c3c0e84b57d7172ec9ce5dd0f6b891da68e 1861 coq-ext-lib_0.12.1-2.dsc 45e260bb66dd8b005d2722263fb2ef93fbb5019f37d497bdf74d1c23c0d9acdb 2328 coq-ext-lib_0.12.1-2.debian.tar.xz Files: 46b65d823829c2bda0c1a15fa81c4f51 1861 ocaml optional coq-ext-lib_0.12.1-2.dsc eb78967f75c80bb637ba467ec9caee8b 2328 ocaml optional coq-ext-lib_0.12.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat4kESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBufkH/36nczEkd5RxaVGQRChO1Wcy7tV0zGVE EgUayh+EduiEIwnEu0QC0pQFBgsavf5T0B0vuW58y5Z9Zz3VkX4/n5U51GA182am NpX2YpLAm+bKu41dgJHQfNXBeBePTMVkQhZByzbJA/jmBl4ZH6ibzNwKOmFbkuz+ gCho7rk5mM5ZAbdh0IlbntVf3i5Zm9iHXD8o5fNHGY00J7r3skNKNMVRk8Zih26b d/F6AZ/f96gs8AFITsKwUy9P83g3b7+iSwkzNQZtaHROVClfLXFt+MdaGgUnTpM/ fLTpHt06Co6RW3iaRgtJfbI8xDCPCui2GA0oYeWHLXV4QyzphqrkeQQ= =cK9e -----END PGP SIGNATURE-----
Attachment:
pgpRvW7FHFepd.pgp
Description: PGP signature