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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz
 631b525261fdd49986e1e2f790dfb5fea4e2e8a0 2768 coq-equations_1.3-8.18-1build1.debian.tar.xz
Checksums-Sha256:
 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
 b5b437080f00d4f066697b837447ca8ef2af232d3b863f8adb10d87ffd24d1b0 2768 coq-equations_1.3-8.18-1build1.debian.tar.xz
Files:
 1a2bada154ceed57fe493b9180f73f50 1102730 coq-equations_1.3-8.18.orig.tar.gz
 bf4a5bbc897faac5b011183718aa86e3 2768 coq-equations_1.3-8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cBQaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2wbA/+LjdmCbg5rousUmUZK5ie
ZvWuTTeSAc4LIUXV1iLcEocTS7CA8JhIYM9wS5/WTHRvSpozZvn5g65V/Q3SRY62
QD0W+0RvMyBYlmlch5DXu3zKnWX8A9vzAByW3oFyCdzC+t+/+Hl4v6TeRaYLYQXS
+g+eGvQVhySzL9whGySpm6w4g19WyrjohPFBRhAA7RXn1sQdUEpgZmZzTRY5XiOg
B999iGFm+djtJGY2yjwHqJJce3/XZ//vHDYYquvbtjoC3bFRDBe57CBjrolkJp1M
46+j3QKj4Dx6hxLUb7EEEXzlz0v6ZIDFTCDsDienP5LjoBYGI+c2CCdGA2F87+CH
ChhnWaEvUPvEIxaDp02sSPIUKEuYQAqs9Fq6b/kECRbKbbpALxUV6FLc9SE2lOZV
KLWLgachB4q1Ik3k5vlcQ0oJckaPbvysjkVRX4YdfKBBhcGtiyEjX45ugs9EaV3V
jLTFe3uYMNOlRTjEslrlKRO5+7F0OdPgiDmrC7LPoVh/lXg/LcVh66RHJx8hNN3w
aHs0WKm4HxmRHsxpp6fUY+plo4EVfMQyClWlqwi6TtrJxfeEna2hVLEFphDlUvwD
uMIinrCotg7ofyFV4l43v3Io/SQWcuRrYf4i/+aNe3X8b/ezpgUP22hOio58JeHV
STiwNiMisgVKiYybKlU1D4c=
=+GrA
-----END PGP SIGNATURE-----