Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 04 Aug 2024 05:39:18 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.19-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Stéphane Glondu <[email protected]>
Changes:
paramcoq (1.1.3+coq8.19-2) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
8bdbe036f152255caefdafd28ca9d8b779facc57 1887 paramcoq_1.1.3+coq8.19-2.dsc
0b8aaacc69020f4299a161231b621f89c0c16c1b 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Checksums-Sha256:
661b5c9adff968af122d5de34707cf9b4400b756afc30c85322f58fb43437d58 1887 paramcoq_1.1.3+coq8.19-2.dsc
9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Files:
97b3bc2541dc152f30e49396dd5cd628 1887 ocaml optional paramcoq_1.1.3+coq8.19-2.dsc
b765e412576c5ce31779591ec820001a 3168 ocaml optional paramcoq_1.1.3+coq8.19-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+M8SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBfQ8IAK+pQQNyclxORwu8GWvJZVJ/zzIil87e ArTj1IQEbVfn74QU5NK5PnmfmxTuXv0FgkGEYc8yKEWu4PyGOwACXtXSvdjg/MnL UdruRz6n+WKASJhQQjui9coyicjTTUZeKAn6A/0fHD91wYpT5oKcTD8un64bSRA7 qTDtwxygtWUy8f5SKZtGM+fu4ozbV044rVYGJEy9LwNqT9s6W5Qn+fOKG7ck7ieb jk6HE7qJahSdmbQZjHnNSPPwpgG4bz+Q5Va2H2HZ3q2404zyhRKhIVGqYyzL+DO2 +0OMd11MutveI/15EjoCq4iz42wMUH/4sKHebNuAs0gQlx3LGMz/DW8=
=TO79
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq79+AAKCRCb9qggYcy5 IdcPAPwPcuuShldatfXPlHcpFUTLzFk7AvHqxCpikFSOzboTqwD8CgljzomVxC6k cyzZaqH1y8d27l9dx4R3MH8OSq6GIQI=VrBm
-----END PGP SIGNATURE-----

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