Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 05:37:16 +0200 Source: coq-stdpp Architecture: source Version: 1.10.0-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-stdpp (1.10.0-2) unstable; urgency=medium . [ Stéphane Glondu ] * Team upload * Do not hardcode /usr/lib/ocaml . [ Julien Puydt ] * Fix d/watch Checksums-Sha1: 15f1ad4d7ee36779aadf6d66b1ed15769bab5acc 1843 coq-stdpp_1.10.0-2.dsc a4d719396520dccd5fdce6d74cb2c6aea529f402 2760 coq-stdpp_1.10.0-2.debian.tar.xz Checksums-Sha256: e051631d7433e85b45431d11eceec3f7b748adcf30c7563bb00657d2aec4a4ee 1843 coq-stdpp_1.10.0-2.dsc dd22c510c4622bbbc68da21bd9cd1e336202af528e9a79279cbcc240233638bf 2760 coq-stdpp_1.10.0-2.debian.tar.xz Files: b3bc6067b0e1d2948d383c725c58a005 1843 ocaml optional coq-stdpp_1.10.0-2.dsc 7571710b85913427772047a776610c06 2760 ocaml optional coq-stdpp_1.10.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+K0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBASUH/jGge5seezte2LjtvqbtsiJj/xgsF2Y8 6Lyk1AgizKTByXF4rkS7cJX9gTHo4SR4yoQ16vBGlZaACO24shpSWedIR6t9O2im r/1DPeHb7MyyVp+iRF1Gdg8UicCTVeUrl+Urh7pKMKhCBJGjNY9/mUm8c7FxP7sz gD4h5cdL1DwO8XLGngguzo1C3/47Rz17BeY/PCCU43iF0EXuJaKXKIbrr33s+lmz UJrGdQMn57ESfDTdHoXHFTHlgsxk/WBrp8eKGpWs3rYIQPo24/F+Je4wo4MAHL2T hz0MZYgFTn8Kto9QyZj9vQ3LJc2/R6Qj2LFYZdJwvOcLsE77Pt+4QxQ= =9WVx -----END PGP SIGNATURE-----
Attachment:
pgp1l11KYplfI.pgp
Description: PGP signature