Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:11:03 +0200
Source: coq-extructures
Architecture: source
Version: 0.4.0-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-extructures (0.4.0-4) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
f992e094b36fddad80730e72dd648044c93099c6 1941 coq-extructures_0.4.0-4.dsc
f5b492ee3b9f05ca9b52d529e825e471ede9b8b8 2348 coq-extructures_0.4.0-4.debian.tar.xz
Checksums-Sha256:
d1a33ea2b118ae420de41288a417022b1a4d69d06cf2b9036fe660b6fcc0c72b 1941 coq-extructures_0.4.0-4.dsc
5542d129fdce52fca33a6c308e875109e9e738e8e4befb442a07df02a87b468d 2348 coq-extructures_0.4.0-4.debian.tar.xz
Files:
024115630e1520e20ec014ed764ed2bb 1941 ocaml optional coq-extructures_0.4.0-4.dsc
9966096700a2a5e8874de39e58f3a640 2348 ocaml optional coq-extructures_0.4.0-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAMSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBTKgH/A+9fqRVE7YUOHQnLhDhoX4dC+a0gYhx zZ0ibrVUVGNNNCzB2WYflQUhxnixgvJW27uB9hxw8KREMZ0LwBUixZw8GX3fmHDb v8ftr2MD5uORhYPmMLksfRcwv+LI3qEGRmigfab/fSFgObmLcpuHpc9qm9/4IaG9 GrR2Vp/9xLhk6MpTEqEx6/58679aHi496P1f/i3mCT+fdlPrBznFRzQBTWY05hfz lWj9eBGhOvaRVeGlB1wYuMuQziIc+0ThH12lq5G1vrnKKFH4RwxkYYJATexLIWte AyzB4Ai3Dx3tOZAKuNfFeEelsVTVcKdr59DzWAHrlqZByfSBzDJp4Yg=
=d58w
-----END PGP SIGNATURE-----
--==============Y39767738385684872=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g3QAKCRCb9qggYcy5 ITdHAP4xgEbczKyI3jBC5nRTZua5vev6+vyATn8zIGTOd0ca1AD/ZfRdiA63Uwas AMZzvpgvizUQr14+aePPXPYN8lKIeAU=3z1l
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)