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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build5
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.6.2
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 719ca21fb558dfa59ff3577ac7f9ab889ef8b12e 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 5e3168ea3e53d6081f746f6c3ed7eac232ba1af5 2964 coq-equations_1.3.1-8.20-1build5.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 7d761de37cbdb3db67a33cf4b119aa28c46f3a5431f379a5c2524da3792b3658 2964 coq-equations_1.3.1-8.20-1build5.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 53e00dc051d5642c9d8f2cedadf57787 2964 coq-equations_1.3.1-8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRiYACgkQ808JdE6f
Xdn1lg/9GBt4gsmiyHcpE10P2uhJRtG03nYIS0gslHjqPVyhBxkxr6is7yBA2Oou
3Gat9OI42tjunHpbB9KoT/VnZUp8D/YYfPdbhd73CGObSoio8ZehkLxWgNf6ZjK8
ZRNzw8ByQRQlBqwRYWNvAnZab5GFY7I85tBZuwK+t2K2wFo0SuEkhXypK96asRSM
DFmDujU3YEFtfoWRNBFbj/Uvo9GG+Evet1keqzgHbTJ1U25KcgqL5q+DaLKli6QS
RTkFWt1FZy/OO7uWg8BPXobFzqZd9Vx7iNsXdoCaYXh9Q7zGQwJ8riSwuYrKNdJl
OACkMt+dMm+sEjRBOUkXXwpcIvjft0wjpeNp8TP+/AW2yNI4ahjMn2+EnwbtSMdP
xWzCVltyqLkZ3V7Dbb3w2I3nPT9dtojwXSNSsMVDeuE932TM9pjzRQIOumpcfwF2
T63xCUtoQQ6j0jCiOCTpe5IdmrDdq8WVSs6qtJQm2ZvfXI48ryrRKrf7Euc1j225
RkTEK1RNlzR4ll/SulpUN8JyB7pO1QVvK2WnICuSSowUP/Psbby3jZjZrU6Iq/dZ
8ZfFsTeIMRxc9p12LANmETHsB4C1PAEBarqjxnBYSXDnrU7uPcIRBDlV3oMOEvJI
bTh/MY6+LjZQAAwZM/UXGHjcSu0DMfh8KdDZPb7QjFL85MrMiYI=
=slB0
-----END PGP SIGNATURE-----