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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/lukaszcz/coqhammer
Standards-Version: 4.6.2
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:
 25f798685b5202f41f770f74e17f0d8e8699cb3c 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 fdeea3ecfb37094910ca5b3c19a15dd32805a2a6 2688 coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
Checksums-Sha256:
 4c619b72bed0963436eca485bfceda8448790e8cd128292385a970190c0eed6a 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 7f68f3fb0d4894f188504980fd9d68dc9035ac7aebd89c662e3d7b98a70d4ed2 2688 coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
Files:
 58022a87c9d0b8e5a2838733190ecd6d 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 ea49e270cab5173cf884c414a7c2e7fa 2688 coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cDMaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2RqA//W6lIQNn6TPxXxKQZgndf
OEy1GNKFtOrXmFLkwepP7RAyCrwC/eutny1cn4XnIZ6883tZX0LLDm55tswxXUxf
T7Gp/fYoxOI4ECOmwNvADWv4WKG/c1oDJUtmXxCa3QBG1BhfLyiYO/v87VA1bw5G
Gsf42NXMUlj35NcW/HjoQFF68fBy5nfN2opkeV1b4izp7X5XsM9wPy7iExywqxAJ
0Dr6eAoyPTosTSh9wd0PrQBakj8nqGHZhirELi3ucU0bkM2w2eccL9VRmrD1ITiM
fh2CERVd1RwSgEL0ImrMtPTqmT4+nQkYs8OnxGGUFBSYxqGK06XEjYPQQqyrqmKP
gJwAk4RCwP9aGqNxqbsXfsGalTy99o+dQ/OLz/aeU6orQ8vBaZvwGFC1NQ3eQdrR
EcS4uOGZgLRRtWGdWZwqEolvSRpAVmNfqNAYAKvV3w+1YTEgQJ+PqmMNkTgHkr/a
yK1VCg4Bb4BJguj7DIXG1c912fobUn5yBQt5sd8X31ySKS5OmOK8m5cwycuxEbN6
UEAooXrTUjVd2HaV6alCShQ7gbDdYkTNO14zQsd0EyXEK8sxdSSiK4XSW38mNNm1
WyPOdp40qcRjZzohX6dPZseNkXndI7JvVVUDK2MNrCmBUm7goZ3GHaIwkI0YUJq+
AoYQgh4SAhC3OAAThqY5JZA=
=1SNn
-----END PGP SIGNATURE-----