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-----
Attachment:
pgppYMoTcO3Eg.pgp
Description: PGP signature