Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:57:49 +0100 Source: coq-quickchick Architecture: source Version: 2.0.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-quickchick (2.0.4-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 24045fe869c2e9dcf57e10df8d0173486e154aff 2275 coq-quickchick_2.0.4-1.dsc b9a7517f4e168f20a5b0ba4f001650aa2c1cee83 412923 coq-quickchick_2.0.4.orig.tar.gz d015af357ffbd21a540528cc865741df36834201 2876 coq-quickchick_2.0.4-1.debian.tar.xz 3e042d7a41a38df1e5214f08d033193a06c10005 7900 coq-quickchick_2.0.4-1_source.buildinfo Checksums-Sha256: 5488e25d1f92cb0fece752bc7eb72bb89651e24f759d75bd6d4b1aabf451a55b 2275 coq-quickchick_2.0.4-1.dsc 029bf8bee8f3dfe7cbc30a1e5e8ddc93e2998261befc904060f2e47b0701cbd0 412923 coq-quickchick_2.0.4.orig.tar.gz 4350168b33e0f216fa927cd996a657cdd532177e98335a2411fd53c02073d7e6 2876 coq-quickchick_2.0.4-1.debian.tar.xz 1ac97604fe125b509440374a80e9ddd2510cfd4c9115f05703fd78c0e13bb596 7900 coq-quickchick_2.0.4-1_source.buildinfo Files: bd1fa64b169740d53db80d9573ace379 2275 ocaml optional coq-quickchick_2.0.4-1.dsc 6134bdbe1b79450481cfdc84d1b42ded 412923 ocaml optional coq-quickchick_2.0.4.orig.tar.gz ce95a8bd6cbc0ad2f50a9208111f8e7c 2876 ocaml optional coq-quickchick_2.0.4-1.debian.tar.xz baef86f35693cbebd1e449cf88591803 7900 ocaml optional coq-quickchick_2.0.4-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9srcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIEMP/0IN9lAGMS1yP40Nfqu+qx6U9sfVjybS Y2KNcJaZaijBeTTxseKk7zyuj64zToX+QYXuJzIniXFhWody9fOwp3yXST8VV/ik zRSplPmaf/KXRPzuEHQB33aI7USKs8tXyEpWdgqYJ21Ryn+6AjWwLXGwyUGmMF9V uLE24s5850Q378cF2410/ypQCcMY0JR0AbECnyXU4WKBTNVjcXduuos4zW1+4ZW+ 12fhp/otoxQRJ826kG54w5ZPbVIsuyrJh84VARxWZJdeb6169czvTGjjBISbKRAm RjiE/TGct6iB3H8d/Slb2MdWQyRs4OTrMJmv/PQ1KHkXBrBoB6E9rvLlBe4bOTX4 wkGJKCz7+uzPdh0tP5Eih50968NkwxF2G9xRJT9bD5o74ueC4l56AkpqkYnShgs4 ZMJAwoamSywihanVShWdiBFC3LB9u/udh+uDvtQyhMWDeDsvK9d8zLhoes3Hnb6S 37uMejXaxy4epxIwxOETubb0G6BxB3KGdfGl5llLr5ppzY1SQtTMVW3OSoN1xwti 2uPg9Qe06Kwi7dViZlUGWs/sXv+/Nep1O2muuQKW+mfX2AHS55K/tJrp3OKBKKIq DrCZcxrOF1xaSDTSLKdwQe1nDVgK7jKJ8IEXzILel002svHn1CeWfx6pJpBvsvwo mxyCLqsYAS6X =COc+ -----END PGP SIGNATURE-----
Attachment:
pgpazsrBk_juJ.pgp
Description: PGP signature