Accepted coq-unimath 20240331-2 (source) into unstable

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

Format: 1.8
Date: Sun, 04 Aug 2024 06:32:31 +0200
Source: coq-unimath
Architecture: source
Version: 20240331-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-unimath (20240331-2) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
   * Use makefile DH buildsystem (to parallelize)
Checksums-Sha1:
 c4b13cd4b4732b5bc0cd7aae2c95a0c00a9db9af 1883 coq-unimath_20240331-2.dsc
 120f2ee0d21a67e81e5d91786953c46192e200a0 2224 coq-unimath_20240331-2.debian.tar.xz
Checksums-Sha256:
 3f34a25a83405c48d26b40b28415fe86cb626d762780299387b8a8ac9e76cad1 1883 coq-unimath_20240331-2.dsc
 e36e649497643929873ecb57c3b4dee995a57f2b88a17f5e73b6b7dfa8733ac4 2224 coq-unimath_20240331-2.debian.tar.xz
Files:
 f5a90b2b813f739579f300c9a066f8fe 1883 ocaml optional coq-unimath_20240331-2.dsc
 49f01a018e7946777b05e075ac56fde8 2224 ocaml optional coq-unimath_20240331-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavBLYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBQ1oIAI3FJRwyLMaw0pKpSG44XQNipVjR7tO7
efNS0UzWqyLwRtE0DyynW0vN0KlIzAjuTDl6HEdMe7fNxtGE1cnmSOr5GPkS3be+
CXkAPHx7GtNEfDVz7/hPNRFTFld29XT2vD38xqsP3jK2Au+Yk1snDFrSzwyiKZxe
kysOOb3t+QwhfAtewAgMHhgCc50t97xJfPCMEbMO3PORho0rDZhjhsofMTPrFgv5
hh4SXOf66daU9pKkyGtIPXDeXt8r2Ziip3788gqYAKwU9oJvP/VE9smDvrIFh12r
61WNJPvWtXTplmZ9ObpDgQwYXo3amekZ96/E0U9z9jP0zkHTAsalylg=
=5yz/
-----END PGP SIGNATURE-----