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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-2build3
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
 dab8f2641e464a7a740c12e700458b884fae12b4 3604 coq-equations_1.3.2-9.2-2build3.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 94a54294f574f298d5b6311c0ea46422adff033f516a49ba6779bcabe12b97a9 3604 coq-equations_1.3.2-9.2-2build3.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 3003640ef63a724fa277d0b0ca1bf1cc 3604 coq-equations_1.3.2-9.2-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU6YACgkQ808JdE6f
XdkxIw//S5XebDK2W85R2h31wYGh5GAj/j7TqZ/tISERKLIX4CJWsQ17TahExVsW
WdBaqhYhXVMcSqfG20xNhRSaY4KuWL4tS2xe/prG1omS8eEfHqnO+zvu8Td4PVEW
7Ri9mWbwGrsvJdOZ+sOgDixEWlYgxPV44zQ/4Th0PilaKhlAm9EB6ah+ONs5LZU3
p3+5E4jmJBWjrp0I0Mmq6RJB85tqlvtPe0uXL/GhIk9571fBmGfXQf2l0Wm8+Vdz
pky/vLHZZLBU/9nqPN7WpmxaYYowm93N56kUgbX7gkzsSRZ6H7aJGpOzfjvG4lFv
ePGp7krK0hkZziJgJTtO+AdlDwpX671eKRMkTtlJebDXQposCef/COb3eql1RKKV
35qIb7ghVCG+9G/4PictptY+A2RxU6x1cRYPJShCgLr/o25fxpAtzolG5rFm3KyW
0HEiP+vi3hzb5wiQ9gcnrvo9teLHFjFuiFJJi3bQoMuxUdkmxvRMbV73cbQAdKSQ
9yqbT6n66+owlJIPSAur5Csa9KDn8EVLop21AXkm94i1etNYAeAtT8RNxHy081Lc
lCG6QLKCXnVSX4aBLaSXVfriuuoSWYrucIzHxLgpcy5SdFrbbiTNBN+HHOnFA1pZ
e8FfrDylKIu6CrkepZEgT0+6JNgITL1TQr064hdNhkQntXidVJU=
=qVAQ
-----END PGP SIGNATURE-----