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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.17-1
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:
 331ccec68c61ad73385aede06404690dcbdce838 1099916 coq-equations_1.3-8.17.orig.tar.gz
 583d616962dbf6596a1947bbfd80364d76222fd8 2480 coq-equations_1.3-8.17-1.debian.tar.xz
Checksums-Sha256:
 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
 6321b98537063d510ca667a9a05d7bfc3bf69f9c1483a720dff975423b711689 2480 coq-equations_1.3-8.17-1.debian.tar.xz
Files:
 e0f86a4894505d60daa14f57c644c1c3 1099916 coq-equations_1.3-8.17.orig.tar.gz
 c8738f09ceb7dbdba58b4eca72232e60 2480 coq-equations_1.3-8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+RQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgiwP/RcaRVeLF9Ixt7Q3Jus8FJhPme+qw0qC
4xGeQ3WCFpnALbDr9DYq6mlze0+sdRwzxITLudhhU3IQBoZ5WTcAq4hwDyAOEX3Z
HXHx72IxB9Y1qA1OlVPD4dBteHIMlap2Z2EygYYN/GsfCDBh5fXR5Tcqq2dfIxzo
I7q/zmQygWyeZro4oqYPx2eXtNW6Hc5JiT231FPC/t0vWeKp43cGCJAHriEfrouI
mfAY2WtFo/9Pw2pHE9lSb1Y+z2oicb7uXgTkRNORESrmDL3AAqDiZQqGmd/uMnYo
4J9sBJZb7J44TXmGRijOtr8aC05HhNjAdpktGYgUjF53epgMtFdGzUtXh2iFLOZI
lGTagaoZVSZETjpIAqxOOKsg2KJFNuD0plcL2224XX6odfSx7dRzEdLu6XHJJpMN
RrYEbrTeNf+ItbzWB3JOXZSzmbTvKu99gncZGlQuwSn8pb0nBwm9/RbZb/YynKrd
O2riCm8MibFXM7iU6csHJXvgypPm34fpHMjWsjbKm8nF8hNIIiYSu0JplAJOB4kk
+ycOIs7fc48Gmke4qToP36Hfs+NSXlHI5doNh1DYw+cC9M7P+RBkV/eTn1vSDs6R
RFW9sTBW7fYU0ofRvKXT2JuzoeY2LCQ227YTSp5ASvJn1DTkdGsVdHE3kp0MqCuR
TWSesDwmtvc2
=Ovm0
-----END PGP SIGNATURE-----