Thank you for your contribution to Debian.



Accepted:

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


--==============50492670903959395=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8ISgAKCRCb9qggYcy5 IXkSAQDMYFq1lp3B2Xbmo4OemN94JjM9FhG9x8Ohexn8ULYbCwEAx/MX2EKvLvPC FYOWQYIwl2hriYM0anE5Ti9hCwXEzw8ËAp
-----END PGP SIGNATURE-----

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