Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 18 Jun 2024 11:16:07 +0200
Source: coq-doc
Architecture: source
Version: 8.19.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-doc (8.19.1-2) unstable; urgency=medium
.
* Call "dune build" with --release
Checksums-Sha1:
05b4fdb6c3b1219b435a1f0391bc48efa89d0c96 2328 coq-doc_8.19.1-2.dsc
e97f3930ac9d0ea6dae5df4449dae50032f8444d 8128 coq-doc_8.19.1-2.debian.tar.xz Checksums-Sha256:
ca8ac7b40177bb5f6194ded51f99a20c725d041a95ab1e375276a34e90989a31 2328 coq-doc_8.19.1-2.dsc
c1e8e6468aa88c002add62bc2b2ad6e01af5b2743d9af74145400c97b0524dd9 8128 coq-doc_8.19.1-2.debian.tar.xz
Files:
383409ce961ec764cab118a483b0fc88 2328 non-free/doc optional coq-doc_8.19.1-2.dsc
e06217d20ef2858d852e885541971a11 8128 non-free/doc optional coq-doc_8.19.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZxUKkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBlIgH/2KqkHkKNkVdS3B4Jg1fY2MhorBuKHtq SluNq/qytrCDdXWISQ3wbzPMDyEKz73lYvfEi27zBewS0qGAm4yEJS6CwhZshpZs iaIs+RYSOVSjgcnRQyLf2iX4vWBGSyIhf/fPjDZCup5kQmnE3gR0150jJO1zpe0C RBFJMMDtQ1Ny/jTGC2tsbHPbLyxm1VSCt11erC9vFL8q24UlFLxcDdgFWKNsLgIl cZkrU9cwqW89UIOPl8pCayIp7CU6ryNIok+BEtZJKYd3heDwkIebnT/IH22gYGE7 aQ4esP8ZrF+N+ckAieswaBipCEei55IfZFhWdjVlYMLNDXhn+fP4S3s=
=htmF
-----END PGP SIGNATURE-----
--==============$23464622618840691=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZnFUogAKCRCb9qggYcy5 ISVtAQCCcSbNYxdKb4BwH2YdqElqxMnu+TWoOm9mApKhNbjIIgEAo4T6eCPgZN6a RZFTi++JReXT10sHl50qrxV+MaUtEQ0=UKVm
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)