-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 18 Feb 2025 10:13:45 +0100 Source: dh-coq Architecture: source Version: 0.14 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.14) unstable; urgency=medium . * Add metacoq to the list of supported packages. Checksums-Sha1: b6221816666dca7767aaca7b9268fe1325bd03a4 1670 dh-coq_0.14.dsc a5234369b89dc5d3c922e35f876daa16debdab98 10612 dh-coq_0.14.tar.xz d54908ca04159feead61d6f9cd6fad6a7ab26104 5854 dh-coq_0.14_amd64.buildinfo Checksums-Sha256: 58f2a5bedb398d3ba5d26bd6c13bde07584b32b7fce65ea658fbb5286025d58e 1670 dh-coq_0.14.dsc 2cc0f29ab29af74a0cc985bf9c3598343b0ccc1051ae72b30e7978ea5e67eb3b 10612 dh-coq_0.14.tar.xz 44e9e0d5f299b0d75d53fb340efdd09adecafae4a2e557ef84f4c129bf66fb46 5854 dh-coq_0.14_amd64.buildinfo Files: 50d72dc12f759b52d956d7b5c630b72f 1670 ocaml optional dh-coq_0.14.dsc 8a15e30550f7e3e7abe5ae338e840289 10612 ocaml optional dh-coq_0.14.tar.xz 903028b280f8ede41c3e5351b27f2e3d 5854 ocaml optional dh-coq_0.14_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAme0UCcZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUb6oD/9U294DPuLpqrGrkezT+U4q 2eYirtazGJ5aMJIOUYpHiabANF3VAdaVPGO5cfz4ngVCppuRUkq3yDJv3af2eeZ1 LVSOZv/RUexPlMPf+4B+AW8JWSAwBuPGLVLIgSdiXrZejMFn+/1WNlrK1S/NoQvd su/v0dqbiB/7zF4JvlSKhRRlu2C/N9ivtHKmoKzCr+24nzPd2tmkHCKzTYwYqOWj NkTzxPf/FBgMt+IfkK5LGdmwz24zwPyHQLho+wfOEFwFLgQVIkWFnDtbJqnEUL// b/+X0bnocHepRbdB3f21M78O1GNsK8C09zCDcc9DAZVqwcYOwbt0IOrTMKi4dEzR p4nmXtXU/GbybZ7liyOhrJRB0o4r6LYlJe1Vmlm/MUF5zFJ81G3mcNGg79oLi4v3 r5qLJNI1W/7jJ7e1cO7iAsRXavIEyf1IaAmHc3FFw5deR6ifJn+Z/vjUDL8lGJj9 sX32/9CjIHKoHpAI8Cf89HnbEA5Fc47ZO5lIIegR4GUdL+A4qCZUhSrIikC39+QS 7ofpQ2D0ywMSGgeIfAe4/S+rrGGwU5aSQEKM0WgQMgvLndPKSxFxElCToaJHKddK W8t+1WpEv9Ws32Drx5/pFxzlytmzlS1norxcHxclTodspXCreuRR6osP8u2PQ7TL wxABRfngWUbWPMSdjUnnUw== =eJ9a -----END PGP SIGNATURE-----
