Format: 1.8
Date: Sat, 17 Feb 2024 01:27:31 +0100
Source: coq-quickchick
Binary: libcoq-quickchick quickchick
Built-For-Profiles: noudeb
Architecture: arm64
Version: 2.0.2-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-026.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-quickchick - randomized testing framework for Coq (plugin)
 quickchick - randomized testing framework for Coq (tools)
Changes:
 coq-quickchick (2.0.2-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c2aff876d5fa5a6607fb15a6e206746a06e763d6 8556 coq-quickchick_2.0.2-1build2_arm64.buildinfo
 fbf826112deeabea9b2709b2341db74ffa50a76a 45170 libcoq-quickchick-dbgsym_2.0.2-1build2_arm64.ddeb
 36e0ed1e271d3bdae3402d71f50b4b9d5bfb4970 2004994 libcoq-quickchick_2.0.2-1build2_arm64.deb
 bf5df073c19b153ac29cfd56556ea00540dc7eab 66310 quickchick_2.0.2-1build2_arm64.deb
Checksums-Sha256:
 7d208e76e6b238a828a7fcf5570aceda6f672e93dedd4c7472c83b3adfbf8aeb 8556 coq-quickchick_2.0.2-1build2_arm64.buildinfo
 67c20dc299b37cb4bb7886067c510959da01d082b9b8a56aaffd5bdc7318c26b 45170 libcoq-quickchick-dbgsym_2.0.2-1build2_arm64.ddeb
 80ea44e612cfdfe0fbd7c6725ed4c6b352c51e1d50a3c8600d1aa18e50dac14b 2004994 libcoq-quickchick_2.0.2-1build2_arm64.deb
 69da515354ad5aefdc15a423d6e74a25db449f104b8878066d071305b4eef680 66310 quickchick_2.0.2-1build2_arm64.deb
Files:
 4750517a6999538fa2bd8fd63dbe314d 8556 ocaml optional coq-quickchick_2.0.2-1build2_arm64.buildinfo
 ed48049e7e439722d6743fe9b5d6287f 45170 debug optional libcoq-quickchick-dbgsym_2.0.2-1build2_arm64.ddeb
 12dd45491f390cde96e18436747c3845 2004994 ocaml optional libcoq-quickchick_2.0.2-1build2_arm64.deb
 f5ec05cab85f0f33058c29a939cd8d03 66310 ocaml optional quickchick_2.0.2-1build2_arm64.deb