Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 05:38:03 +0200 Source: coq-unicoq Architecture: source Version: 1.6-8.19-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-unicoq (1.6-8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 6d3dbff419698fe8f471d799067f407d8ac2ce9e 1867 coq-unicoq_1.6-8.19-2.dsc 4eb139414ef5f8441b1696a087ff264fb2e7cc4f 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz Checksums-Sha256: e8bf4ebff593f8fcb1bb23e5914105585e10fb569ae50f01b91f9140cee7dade 1867 coq-unicoq_1.6-8.19-2.dsc 20d1f0ef7be12775e6a60d1dae317a3bcbc114fa0318ada97b4e3c1c481503e3 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz Files: 3f1cd91e80c67aaba947311ace7c41d6 1867 ocaml optional coq-unicoq_1.6-8.19-2.dsc 8110f1bb69fe0ab9ff53408edffaec12 2676 ocaml optional coq-unicoq_1.6-8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+PESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB81IH/jYBWJ/4I+Ddgi54yPHzlO4Mf+B1VOWF 9zVGjQj0zyVVfZHq2xbEWMEhOs9IS8QZ7yJu8RafI10ekHFDBmq2ZS/Y1Yh7NMfY UABsjEAuCimSaBfdVtzQ4m/mBfzmDE07uDSciJJ6plI0lbep8Q2r0DR1IICIBY+1 Bni2G63UQAVm6LGKjbXuAm5yX1SyxlJ59VstX6Gk8+pxI+tB69mxP5ekHjzhj5n9 Mqycloe+Wnroj0w93Jw976zdml7qV1+CTM1Gz1MLhb9SIWjrVjUriSwvh3cDQiIp m7hjB+s1S4b8shDeLQ07YnSSll2PMWwR8omWGFA6+23xV4eOzbN9WXU= =UIsu -----END PGP SIGNATURE-----
Attachment:
pgpX2pf7JBdzk.pgp
Description: PGP signature