-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.16-1build2
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.1
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-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
 d556e570ebb50e95b4cfad25c0787c60dfb7d314 2268 coq-equations_1.3-8.16-1build2.debian.tar.xz
Checksums-Sha256:
 dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
 8171f8b50556458b13c2d87aaa9f4103df1d234e8f0934fa6b27783d273a098e 2268 coq-equations_1.3-8.16-1build2.debian.tar.xz
Files:
 6c5a89dd4eb82608c27dcd53bae7d54a 1097638 coq-equations_1.3-8.16.orig.tar.gz
 1b2448647bcacc23dcecdea9bdeb4eef 2268 coq-equations_1.3-8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLpCsACgkQ808JdE6f
Xdmwbw//Sb2+NCyoTl1En3zPJ99mG9e1se/dVtRJX1mieGCI+B8bYgW52R3YUnCE
POi6vFvEm/2261H0dbAFR8c560p/qWapzhq1cVLqvgbPeVJAO+7RQYXrou8gxsnJ
KrKUVoWa6h2lG4KvwCaDVt/Gp5ZuBp8e9TPBR2+UzHkXs6qxB02yQAAz2tFzaTat
Xovm70cTmLn2APBBTMadYOldQzTiGL5PHOvhvsKww9sMgVuyOUKmGFlckurbKkhH
/65Bp/nQqNy1uLpKFOwtQeWu+gnBQn49xMKuQQu2Mn+rDoWDgW+sDYDgc/KhUfeH
BjlLp8jWOIWE8uQ/+CagTWrj3PgrhGUX2RdwPt1KDvWK5caXkx3KKWYxHftsStiI
VHdLbt/TeX5kcWwxgKBrtjdDRbqDBecMYxayZLBLnWb40l7vsglbiLkufBVc+rDy
k5VgudKS3h/wy53zIM+C9QMxBV664NG/7yTcUJ33gEPTrF5hQlh8jdR59BuhdiMx
4x++AKFtSUQdFQXr+aZC/Dl+u2Seuyqc8TcxAHA/wZSkH6SKtmJ5WilvxfMDVtO8
1//H4Al9aChS7T81ZWWGb/ukWp+RsoKffegcaUHg7kWQ0H0ePd8hBoRqSs9MRw7a
5hDwZMOFttutxTrA640knrHs9AbE+ABYxw/SvtM1q8Q0PhkeWE0=
=buKx
-----END PGP SIGNATURE-----