-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----
