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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer-tactics, libcoq-hammer
Architecture: any
Version: 1.3.2+8.15-1
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
 libcoq-hammer-tactics deb ocaml optional arch=any
Checksums-Sha1:
 e257d15b271dbc8799638209dbadbaaa5f990184 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
 75690f1008a41c9736bcd151a9601257e3cc225d 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
Checksums-Sha256:
 d334417f5934fc222578382977e66f7eccb7f2e6b8d9f6570d5afe1a878ca70f 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
 d3d6b1455bf4013a8770a494dcc5cc48248976b84a47553cfa56c534a9d4580e 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
Files:
 7e7b0401a864c1d04ac345fd63373926 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
 fb8c0817757c727b895adb999ec43029 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRe5YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+WsQAKbtUUgB8xRYydhTWTlbTa03pvBm6K7c
yKF0JL10WQdzUEqoPxxOO4KmyyCI7PiMsJVrAWu9AQF2kUCYGG3+3PYxIcojTSB3
C08K1BUm9TS0cMAt3OvV3wbn3Y5HzdCLBzT80W70L8ChWov+q1nGSrBb1vXN5dgG
7ofjdJANaghSTDJ+ssFuVo72r5dRK6LG5EPUrjgARrbXricTWal1g6E6/kmUgNTg
rXcH1mF3HROCXhiK+4QEF74nYGixKhQldNd2RCh89YkOFSyd0ZMka6Zj7BsMCtsz
bQP12YbHhs7O+tcIX/6wKchED7T/tX+pCPtpeOfVyc4fL6YG4BDjrJ/skrDuu8pj
xK1uV3iCqCNbvUzUul42p1h9Fo87wHCk0tG+snq6bVo3UEAGrooXMsr5tPJppjxK
0+Tb3xZsmxEXkGq3ngCUbS7yspnMxAubd53aJ3V6efnD+zkHWAYtCuknIgttLVuj
iDkZCf4bzSjWkYornkUAWurAaNuMJ9cqxr+7BONQuet4cWzjIm+qqAy7JTdvfq7o
8ghm0pwd5Vgy0MeIsN1Baa30hCVPSuF9OC1KgpuOmN9OT92fYo4cv8fen5ccbBP/
Xk2R/+P2wPc3HGhtGkyj9KdaPyP6unSH0xIk0lV0mnfC9/mTOuuyZGLEGJsw96N3
5FXUd5UPc0ST
=C5Ub
-----END PGP SIGNATURE-----