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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.19-2
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:
 38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz
 8eaf37522fe3acc6ffc9ac126ff3f06358eded64 2724 coq-equations_1.3-8.19-2.debian.tar.xz
Checksums-Sha256:
 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
 9d25183b524bc5af37014491bade2724a006fbf68ac85e2296fe5817ef41ab5b 2724 coq-equations_1.3-8.19-2.debian.tar.xz
Files:
 a83b2e75a3440581de8eba8f0c0ecea2 1102843 coq-equations_1.3-8.19.orig.tar.gz
 77c49e17a9ad2721f932e3babdedb3e6 2724 coq-equations_1.3-8.19-2.debian.tar.xz
Dgit: bfd4b625df5e23ac001a31d525ee6d2c9347c7c1 debian archive/debian/1.3-8.19-2 https://git.dgit.debian.org/coq-equations

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDM8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB2SAH/ilWCP60SIe4UbQ/5bHMUZGRNSHprSat
RG/b0OB0BKPaAA0DeKgB+Y7zNHYs8YBkgD6HARm2ec5tTroabIUnV+ZPaO2KZ/dV
K1/iaOmeQjRlwbezGpDJ2DmAQBKN5c+Q5EbQwTcwo2m/jy6jLqYzeTp3nbpQm9ge
sRqnQcwGJGs8oi/XkGVXpcp7PoX4q2Ur/X1XvBtFRH47k1heTfS2Nr8mHBYQrQ6x
N9Fra4D2l5DDRfdQMN1Zg3JN1QnFdke1lkh1zVAnv3AzE4F++LjoKJDeO20vR0g3
PVm8QNNOzq4yLYb9OxAct1Vue/kvOkPYSQspMrz/34rooyRVXMTarxo=
=MTzN
-----END PGP SIGNATURE-----