-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 17:33:38 +0200 Source: coq-menhirlib Architecture: source Version: 20231231+ds-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-menhirlib (20231231+ds-4) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: b8dfbb1f24966ef9292e0d45531a9075b6388dfc 1924 coq-menhirlib_20231231+ds-4.dsc 47650c9f9c3c2feb37a3fe346d0b089c02a3276d 2112 coq-menhirlib_20231231+ds-4.debian.tar.xz Checksums-Sha256: 1525a4dcd9f04cd9bb7bb155eaefbb3e93af989bedff76412e3f51b61c557ca6 1924 coq-menhirlib_20231231+ds-4.dsc 518fc6d7fe3bf6fdb66288c90b83ca6665fcc9375b0dbef6ff2dc0707d5c6b2d 2112 coq-menhirlib_20231231+ds-4.debian.tar.xz Files: ae495d0ef60546f53a8e1be6deff220f 1924 ocaml optional coq-menhirlib_20231231+ds-4.dsc 565d805e237fd9103ca666a8b2fd93ee 2112 ocaml optional coq-menhirlib_20231231+ds-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauThASHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBBgIH+gPKI0qjCi79L9XfYNa4g3iFRjwNSfcL WOhIMAcB/prsfpBZG+e+TpJo3Ii9ph3RUD/ed1O5bxKOuk4eKloq8jlGZsL1T55C gM2S5kZJncym2+j+vhcox9V3HQ+sSgwr74aVGhh4vHmvoIvCaF5+FsHwiuUwvh1B FNz0DnneugDWQZmHfkaxj+nFXLqL3vL8UTfV/xq2XfdaJKqhssNbdRZhyE1klcIq Wpg2OKoq8Wf+vSCChV6rXiT5TJlVje33V23Oq79FopfPciOh+6t9+bLiiYyzvX8N 6bMORSpvHYy2qbMYp0jImFirQjhUS8BdIzhoeW3hFajitnZQ1h1/Weg= =TsCY -----END PGP SIGNATURE-----
