Accepted coq-quickchick 2.2.0-3 (source) into unstable
Debian FTP Masters <[email protected]>
| Newsgroups | gmane.linux.debian.devel.changes.unstable |
|---|---|
| Message-ID | <[email protected]> |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Aug 2026 09:11:56 +0200 Source: coq-quickchick Architecture: source Version: 2.2.0-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Changes: coq-quickchick (2.2.0-3) unstable; urgency=medium . * Fix dune3.24.patch description. Checksums-Sha1: 34e7a64ceab92c83e8cabbfe91fb01a74156c25f 2306 coq-quickchick_2.2.0-3.dsc e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz 912c421339d88fc2e55e31a18ebc2fb22b66411d 3892 coq-quickchick_2.2.0-3.debian.tar.xz 7ce1061f13718adfdc6a040924a52f055c42540d 8013 coq-quickchick_2.2.0-3_amd64.buildinfo Checksums-Sha256: 357fa495191257a29f40fcb654ec7b3e18217fe0f09d2c2d50fe4b94aae79b89 2306 coq-quickchick_2.2.0-3.dsc 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz f6e1dfd42d74b95e1aafef42606c4dedec8f5613406838a516b100384d3d9788 3892 coq-quickchick_2.2.0-3.debian.tar.xz 79c25da03f1952bce12696c260d7cfcb4710ebb630d4949481b23fab9cfa50f4 8013 coq-quickchick_2.2.0-3_amd64.buildinfo Files: 1117a6dd2c735303e1837cb9115fcb16 2306 ocaml optional coq-quickchick_2.2.0-3.dsc 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.orig.tar.gz 0c23842c54d7237c9140f0f64033e690 3892 ocaml optional coq-quickchick_2.2.0-3.debian.tar.xz 417b127e3b65b40afb59031f5956c462 8013 ocaml optional coq-quickchick_2.2.0-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8HXgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURH5D/9nUddXrEKflLn3rTDe0J7z KFijsgsVXToengmsq8Bt+w8RHYWRlgQbDkPWNCbM3lCzyPIf0cECO4ELfvAT+lZ6 5eBtCI6vdxfbnyf3JMbqixpiQ5Ce/gcQaSAB8H6t3hgIRv50h7iebphKduazExEd SvNZ63Wbn3XMXGIlQmBQFd3AkniJJlJSfUdsZuQT/t1X+g5m5UWnlKlPXUb+u/SL 7xZgg8bCzpITOTS+8Pu/fouTwNzQ3NuUDcVh74fXA5UiBdZucdNqWsFalwWUxKQO Tx3Am5HwM0t3qGtEW6AhuF+yv3x97EvobyIK5bHVhCTBrcgEoXsCcGX5MOn5kDH+ oXi/z3M3dPletMQ3rEgRNDZ7EFaE7oEvqfhnX6n5soSxRAzipoDBT0j1C75Fo95/ cHK8eo81kWEYvU8g9N75IE5m1vD2Umr3WjZDvnkPMw3o1zDE6rDEZxAvMQMN2S9m L0TD0Vn2aFWkat0c0XC9FsanreTTQqN11nmXCQegt+2i5sjERyYpU9BmYk3Bkwlg zkYCfL2x/hOZ9Nov+h7vqDvHzRy8c6WhTofI4T7///5K+SX6HS8Vm4VRmUvjzv+I XF74QezIesWQ8ANtW+vWY8t3ZXU2Rf68gVVlKvg9gaBA3WHyiPxT8xc8Ghc2Mnn4 ID+VukYC4ZZvOlzAdR1sfw== =/MH/ -----END PGP SIGNATURE-----
signature.asc
(application/pgp-signature, 228 B)
-----BEGIN PGP SIGNATURE----- iHQEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCanwh3QAKCRCb9qggYcy5 IRL/AP4xuLV9IqpOQDO9HHYHsdZQb7i2fHu1o5USdnntjzQ49wD3VNe7F4QY0yId dgvWmDD0bODnPowDmsh3cDXN2+8DCg== =nfVp -----END PGP SIGNATURE-----