Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============(12652372652300094=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5RswAKCRCb9qggYcy5 IQjxAQDmzJLROokyMVW7+P5qt4eCLYui/hqHNXI87BLo0B5PbQD/UOX2Z/++/8NI 9OjV/uXDZBgxsLyFLK1xhqVU9LjlIg4=Qq6y
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)