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-----
--==============y82970521735348674=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq792wAKCRCb9qggYcy5 IQp5AP9VgWRKb3TaiwjKGS5mcHKbMKT+V0EGjwm2ZeW+9y25AgD+MTy/Ch/Gyzmh 7CRVaQnhzYe7WREW3tP39m5+geDk+QE=uZxF
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)