Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 03 Aug 2024 17:32:53 +0200
Source: coq-libhyps
Architecture: source
Version: 2.0.8-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
coq-libhyps (2.0.8-4) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
dd555e1cee2ed2340cb09b4d05dd6d6e9420c48e 1843 coq-libhyps_2.0.8-4.dsc
15376e8c2d5ed98b43d6e4340a4fa4e8cb00b6d0 2216 coq-libhyps_2.0.8-4.debian.tar.xz
Checksums-Sha256:
5df2948755289081835c057478011f6b144cdfbb706d781e434323bd3d1e2e8a 1843 coq-libhyps_2.0.8-4.dsc
337ed33419b697484c371e2ea75df9acc22694530d4389f85820623505389ee9 2216 coq-libhyps_2.0.8-4.debian.tar.xz
Files:
c9a4e447ef8913f181f75a6e5a13ef21 1843 ocaml optional coq-libhyps_2.0.8-4.dsc
c7a738f91e5a62f37f4065607c3d6dd8 2216 ocaml optional coq-libhyps_2.0.8-4.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTekSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2QYIAJMhueTkX7hNMOjmCUWicHPypFsUNN1o p/6mGnP2naYM0yu4J3HZponMRyrzHqdsInm3jJKKNbUzou0GT4y7vlcgW1r5gMcp TwmPljokfR4h6PX3w2Fv48Y9uTqtEsByCoq/P9vtUQq0D/yOmCEGxJB7jDpL3sQK GuytDQ0Y5gsT/nqd4d8hXUthUqO6l99cfnT2PGKd11Ln8RuOm4dCoRnIXtquhzjH 0Um98vmMUUCJEyhjU3TWnR4lkrCZ3Hl1iZdTDHzkUWrcwBxK0XpttnzDfl/ZnF/E DJ5b4HskPS9b8bJn89sJ6I757R1tS1aQsNGWACc6oKig4feOXiolTPM=
=wwrz
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5RrQAKCRCb9qggYcy5 If6NAQCjsjCM8kbjs98X7KxEq1+I2KGYA+4YWKz0KjrQP2syPAD9GlRXUtEfSQxQ wmKm6wOYtYyQZGlKlNafSn/nNZR/vAA=KYNo
-----END PGP SIGNATURE-----

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