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-----
Attachment:
pgpUtI8ItnLU2.pgp
Description: PGP signature