1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-quickchick_1.6.4-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Aug 15 09:10:01 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Mon, 15 Aug 2022 08:26:31 +0200
    Source: coq-quickchick
    Architecture: source
    Version: 1.6.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 (1.6.4-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    5b23e243c92af9a3905fe4322e3a63bb362612d8 2256 coq-quickchick_1.6.4-1.dsc
    1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
    f9882361c2829c77a1883cde4ebac28b2d3c120a 2636 coq-quickchick_1.6.4-1.debian.tar.xz
    c25894dc16658a6b84c4b3660f696aa116291c55 7247 coq-quickchick_1.6.4-1_source.buildinfo
    Checksums-Sha256:
    3c0051c6d95e5d579ea141daeb9889982634effe96b382269958ba6b91876b81 2256 coq-quickchick_1.6.4-1.dsc
    a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
    c1af118a73f18db0dc771625e14c64981a1a7f85ebac862a83f4cae124de041b 2636 coq-quickchick_1.6.4-1.debian.tar.xz
    7f82540d9f36461c5c9371b46f86180a5611cdc2c8e1ad9edf231eda1bac6c4c 7247 coq-quickchick_1.6.4-1_source.buildinfo
    Files:
    3f50727278b10e5e9493b4ae15146bf7 2256 ocaml optional coq-quickchick_1.6.4-1.dsc
    cce1caca2698a92e8b66158d431dd7db 388461 ocaml optional coq-quickchick_1.6.4.orig.tar.gz
    6b9aec6a45d8a07348c893637c5c1356 2636 ocaml optional coq-quickchick_1.6.4-1.debian.tar.xz
    676610a795b9d4afc3150fd9e8c39a89 7247 ocaml optional coq-quickchick_1.6.4-1_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL55zQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVROA8QAInfVy9yz2cE5RRi0APaRdu9SboZ3/HA O9b6DxQioYSh4dX+EI8Ar63uK37ULWaiGFgVw0qT7TkJesjnqvkzWfHAleIqec5n rPRmD/n/lhVh3FfOcR1GBOTbQP/XlI/7J3x68k8Nf1rchKkQlzLP6GZ+57nxIKrv A0pLdJ+1xbcW+ZfBFEY8AosECdRnKmJC9eINhtZzq21AIj7ELimR1CThsAl3sEkB 2sIZY7NCRl1/BM4358049T2YJzX6xumE2qdLSkrMIhLRZL9H7mIrXmy5tn7ygccP ymNTE2HXow7k5SG0vHtF5Bb5UWZ2SpKwJ7nWUBvsplEQVd0OLxkg0uZvlYmF9F1t kXBV+YMEVf920WAr+4iFxrTCXKoATe8MAL/rjlORMyt9C5SE8FwkECphPiJzvnEb qNoewZGdsLW0RZkqyaHCxFeTwn3h26sduxTThqRSDa9RV79egtvOdByD3wMa55Bg 1lXPeMr5JB8VnrchAVV6zh88aErmRX9FRwVR+7deeLh6TAlwJd5tESGOIlYFDYYt BHw0tQijWpaJEI5m4uAMqq77VVDYmeCzROrVLMptzmhNhgfHFcOTz5TdgC7t6Oxh oh9rnv0MqFA+2GISU2THCJWLDzqgOwP1l3hxndU0B1j2+Sna21trM1EQpPP0Ymmi
    q+GCX/nIWVaa
    =gsPG
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)