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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/mattam82/Coq-Equations
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 b81da64b305d9b5dd31d6ff42f42b68f19a9b7e2 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 84ae43e844ef5e9b998af321f31ccec232dda74ac35b4487ae01ef25712ba999 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 8152458a005b6e1df777e511d946bc02 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1H4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQqdEACjIqvw75gVmTYkyCvFzuc9
yO1tnMZys8kq0DyCLgo7hq4yH6aFxBiI/u8zGQ5b8MpyJWsUkTuqgQ9hJ1pnvFpT
zVr5cfq4gNcRvxiG9zcQMx+BPq1ZwXDRha7hqeEGr/H4NTWCTL1u2Y1ccr/Tfw/Y
/lL1oiF4JQXFF2NoxEgS3Zp05uTiNiyON4SSbnYNq5JZyCqBGb/itlV1U/oEHJa/
QZp4/AuTQ1WvWv+DHZSKy22HYoApE0XAy2uVbB0pN9Dyg06w44DPiaBGw20j4doU
y/hyVq5lSLB1ZmtJVw78apnm2gma5KUQwMROmwCxJzA01OXYS/8zFA5bZuK5HN3N
DgjXMEY5QDSHECV530FRN1ZnFZaM1lE9/sn8cpzrGnvTwCenPhkZtqM0Fron/cwR
/WJHuaysT9OBOMKn3m6iyOpU59DWXnZ3rEiqZ4jPfOR/HRMECzqM1DW6aCKQPXE5
/HV9fjyv9G0w0n3/aMCjbSBbdkiL34ul1ozbagq7IC4WN0i0g1385pIi21Ahhpdx
/nkh0HbACahhUDH0/RWDgG3fQvMGGfVJ5Vj+Ooz1i3hnzGIdBK/EWgIGTQlTqWtq
GTrzFhDNb87JjAUdlUZZcviSdO6zwwhaS201Ck1Lrm3wzxwdZpemIV2WqTMYGsPN
L1wCwKkCMAJDvSznS6p/Yg==
=2nas
-----END PGP SIGNATURE-----