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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/lukaszcz/coqhammer
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hammer
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hammer.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 a58883c54299d32040f1528ce85c01286c8b1a93 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 a92f79bec06446c4624718da6d1d193c75de6b54 2908 coq-hammer_1.3.2+8.20-1build3.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 b1d9693a9656c82755bd61ee4d9939956cf2b5f1f83aee6ca5a0842e1b6fcca8 2908 coq-hammer_1.3.2+8.20-1build3.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 dfa6bc82b9668e673e1ab7226e0f4c78 2908 coq-hammer_1.3.2+8.20-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058gACgkQLIPbyOm9
DjcYHBAAqu/L4MzL4CjhmSbDOthgf4OOK27ijpaxpWB7shpbvSVv7LZYwDkYGFb9
u+Y48NZyvL96/YLkb+vevhKAtsM9czmIsxfVyww1ivOkAA7cXNheje0PJpR2gUjo
Zbb+7Vt+FnMssAAk6KpIBbWOv7hvZOaRiskZu+1O1ECxASb8DBFUo0mOh3GghmwO
8rR7QLLwulmcR2efYXVXAfLybtlHN5wDtdwlmZCCGmelvPx5adPniwurWSfCTyio
f9y76JNsFLGq+io3wGxCwtBzKoNp2HRLUxFQNuPLorLH1yODt5+iCvqyOGC3JW+F
g3wgvxNrFc6TZKx6VIFA/fkdlgF+nIvwhrMzhxNMmBkjDarYtSvExuWdw8snFcHU
GommJ70DkYSeFh58TkC1V7CQIPNYwcwWbx6etNlDvEqzVRBG6HcN+dAjwE8ODZzL
rKuGjytu6wl2cvRdfhZPcQQlIa9tklqmeuEkMEG3n++LkMLXaCtCiK65KSc49mrv
YupB8474ZOetpXus8Ieu1Jv5ZEXCw29aaJnf8Y7cT38KpKxNqaZtfhnGE2nCbiwO
VYaR5/vrTP/xT2bT9gpE0+njbSt7BhlCCsqr4RfGzCbDCFwmduz1lB/yH9Drz7gQ
zcvJg/6r+zsc1iXjwuGETElTDslp+aAPAN1DX2hdGIXpvvPw9cw=
=V9wF
-----END PGP SIGNATURE-----