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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Quickchick/Quickchick
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml-dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-simple-io, libcoq-stdlib, menhir, ocamlbuild
Package-List:
 libcoq-quickchick deb ocaml optional arch=any
 quickchick deb ocaml optional arch=any
Checksums-Sha1:
 ba8f3dfe2f9c19a6879680e54150f680b6e6f9c0 414612 coq-quickchick_2.1.1.orig.tar.gz
 5204fc74c741ed391e66f4064c20973a614c25b8 3124 coq-quickchick_2.1.1-2.debian.tar.xz
Checksums-Sha256:
 0ca0afc0273dbd30f991090576462c70d65981275ab7b5a6dea15125f387cc60 414612 coq-quickchick_2.1.1.orig.tar.gz
 41ad59dcc28d9ab1ec0bab56ada7b864c731e1aba4ea75865f0fd7e46108b813 3124 coq-quickchick_2.1.1-2.debian.tar.xz
Files:
 0ebb3428fe7a79a46c76ccda4705498c 414612 coq-quickchick_2.1.1.orig.tar.gz
 1afd40780a51a519738fa0df9f1db167 3124 coq-quickchick_2.1.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkpMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ8BD/9JUiKXhJUa7TOJjoxIN3TB
V6w5R1jBtYb44kBAWTa8Cy53ubYk26lxhxHHJ27tkTegOfRuTIVpw2kCN3Qf8P3n
RsADnd1OEoUGeIdvhtozy5z6PX07wShTEwLL0nSoCYkWsdzT7PNTrXH2B1cYIVoA
t24bOksURZkvoB+9xYnd/g/mMx5UGgspzFlVJ1oO57/YYpR6LVDI+6gnPoFQl3av
nvd1lIfgD3174bRrzX0raDdUbhWrv0axVENssLWjDRYqKqHGx4/73JMLBPPnCE5b
fvv39M6iaT5NtDnfl8bQ6nT1ChDjTFllTMxUuGXLNm2cIx0evi2t4tu/arWG5uSL
d6Jb4Uyi/RO1Cixd8ed3oJdDrKWs4iiKs5gruQYqCeNJxxERsrpAEvbfZipop7jq
HDGhHTvIgwiR8CMGDwPHhSuzaCyU72W2IDoEmje1oNThYxu4SsMYoWIjcLpP5C26
lTfDJojj6v8FUr0xGlljoOEkBW4edtrIEQHVszHs9xqWqUIiHtaTSTa+qYuflfVP
BOXub+MNXa0Tsyq3kKBVMcdP+30yQYxMWhyHZPn16VRVr62XwEKopb+FLJY41oEF
gXgVn7LPdSJyQiH0KJ3SI5TGgujzBRAdBslIzBTEkrVHfCGURDeO0VQ/zHxA/w4c
96claZ2QA3lYTcN8pFzJOA==
=naos
-----END PGP SIGNATURE-----