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 <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
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-----
--==============$33702822188906575=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq791AAKCRCb9qggYcy5 IRJKAQDvKaW/PxLOM0I579etHXZGMgYb+B0xLs/UFCTq2TYioAEAzZAqgsgm66h6 R+0eJGd3sG4OLGOZsVJPhcy7W6EyEgU=U3L8
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)