-----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-----
