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-----


--==============262466604255495346=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq3rowAKCRCb9qggYcy5 IYFLAQDEzUQvtVwQ9DB9Qrjs32QDMTh3PvS1OeG+p0t+/jcScwEAhWKC5fDgKP45 HAkTutvePqP9MdeBn3XHMkW+8zqEwgc=zu+Y
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)