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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1.1
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.0
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, 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:
 d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
 5273f9521cc8038a8579921d7bd5ed162b0f513b 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 c336a33775ef72e0d2341550c9a0e4cbf6806edbede8a062a3945400b79ec1c0 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 d5a95cfd10a84de3627fed2f7b09d37d 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmjP5UIACgkQiNJCh6LY
mLHRIA//b4pFlbp3dl6QLVGA7nle6n5iVGIzrfFSCO5nxk+St8J1XDlTKFCnXOjX
KWbLfgaDCTXx7+vlpSLVkFwjueWHI8CAfXj+pd67eD8zBRAVjhB5+3v3UOn6Ryp3
Rj4MHWyxeXkEUjtWDkXm3OpNBAqqZPNhGAYgXK2diXk4Hoy3Y/yuC+YvSzq1TP17
L/lfbwhqPcMwB9Gf0TiAj8WyVDoyoxQAUOVeRJlu5l0zQhQdVPS7YfOnvbObDb0b
kuBwr5xgc0IZVyRhdE+8dhUwPih4iPyGkQiAZf6YGlAqC7lddMq5zA6cSdxtEZm6
Y5k2yegt0igxPY4U+uY1qcYsZSv6EQZhBDGzUtMVj4hQgbc9X4wr0nQ/3dSO72uH
AmB8ik1gDaJOAgb2Yod2DgTRWedFSXZP+dZKaS+/ODKbtLp7F0mrD8P+tJ4BA28X
Oh2L0r2da1q8Pqupgo6qQxMnqtgJzIdIVENX9yS/0d/Nxmm6Eu2nZcu2nYyvOa+X
dMc8JzbZvq6CQ8RKWneDwlEER9tuvmIIb50Gb+q6v7IyaOQ2x+r9Wo2aahchbfcg
WdStYvzRrbNh8RL24j7ZLe5bxI7fiiTU8cjgzPbxvHHfsFWNbWXjSgykVK8AQ/ks
ePbwSUuMTOOsY8+6XAONU3ZE4yt9LqwdKxa30hBBAQblwvbzncA=
=3blh
-----END PGP SIGNATURE-----