Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 04 Aug 2024 07:05:27 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+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-mtac2 (1.4+8.19-2) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
7da86b151c257d51cd488d70e904f823d1fe82de 1872 coq-mtac2_1.4+8.19-2.dsc
2593ffe7ff3f8a788c008098ac4079456484c56c 2856 coq-mtac2_1.4+8.19-2.debian.tar.xz
Checksums-Sha256:
1b4a3f52356316d0b00d27f69306df0940157d39fbba5ba6be73236081daf62a 1872 coq-mtac2_1.4+8.19-2.dsc
12781a15c400eb4c8781ff5426ecca1757fc69cd56709ca397a6da2336fbc9d0 2856 coq-mtac2_1.4+8.19-2.debian.tar.xz
Files:
d1721ebcff35966980c101d18c73b0ed 1872 ocaml optional coq-mtac2_1.4+8.19-2.dsc
34b078576bbc34dafccf4fa2229ba6a5 2856 ocaml optional coq-mtac2_1.4+8.19-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDTkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBTEoH+wbr8jcccoCp5SWddE6QZeTVZ+/h34FQ auCc42wr5DYj6PtWweeVAa1lBg613maMc+X6ThLGEYXLVY29xNfXdmXc0yIksZzd /egGnoPwHELBYUHR6yQcj56XZqnXhBVfDvLSj/M+yC7xeKZBhE7RfzWMaEKHDQBH TM1y3bEAWTl4sKeVnykc0Du27oLJQdR676O4YNavwXdTwvjN2njTXIZFjL24kf8+ v8RFwMeANG/d6LxMCDJtYxurFRlW7+Q5lwRjJjkp28yBNrzSvrf/8mVLHYqvFTtE LfKYCGZy4Xa9hpaa7XtO0UBQp/uaOBmR7Xg82Xo9AfRzFOAewHQSeVc=
=MPlM
-----END PGP SIGNATURE-----


--==============#53847990039929016=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8S4wAKCRCb9qggYcy5 IURvAQCXxVnK2vd4pHyPiTe+i5XoOwBt5vnR33r/Fyc4ru3sDAD9GW/OLV2Bp1Y/ BVGRznKztim6LU5GA1oNZyeBKDOKdAE=tabV
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)