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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.17-1build1
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
 7166c1038c00ed81680773f63635d84bb852a6cc 2548 coq-equations_1.3-8.17-1build1.debian.tar.xz
Checksums-Sha256:
 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
 fb6dd69977a240d99772396498cde25bb0ad74bc7460f90004594531bd317084 2548 coq-equations_1.3-8.17-1build1.debian.tar.xz
Files:
 e0f86a4894505d60daa14f57c644c1c3 1099916 coq-equations_1.3-8.17.orig.tar.gz
 41edeff1b2c1108f9cbd760339fb6127 2548 coq-equations_1.3-8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq38ACgkQ808JdE6f
Xdmiuw//elE+tR7xRyz/MUb5iPI0r3Ffzowv4rWzhTcWCGZdTvd/IKp51eEzk8+9
h07jaq9/yxLXvXD1q7cz/ED99EXP91vVhi4kBmNdWQr8ZBMpKeOCO7bq1CuFf0bF
eDpP8XCt8V8uxm0jtzxWXdFUvopROlexIogO+PzgzKFcgHyipaALlAja+s9689wP
76+K+O6xWv28AEWCJhJRv1FM4rEq++UnycQIye1nJc73/3sRzr1rcT3BJMYd4Exo
hgcApwWuT+9FmxkM8mB4RxyBr/aqxIImoLKueviqVl6lUWSFMHuF3Omeyk1KSMLa
seFwzRJJviGiXkdyPV5Gn1WIrxeHdTTtlMjSYcPLwDRvR4OnXLcCX6STG+9Q2Jzc
ANgu1lEvv09gjs2NieJNh00jbe+H7HGX7mI0KyvYKbY3oDHD/PBoD08xiLXfPbLu
OJIWk74sx+BQL2WjfQMCZECvM489aURsw/qZS1geUSu3nUfQBxgj3FQ69vb5AtTi
gJNCECcDhuGmTFmntsWiEqPw54z2buRVPFvnnZvNs4M0xiXyYa965CZD+zfBE4uR
ReUCgFcyIPLxlsfklSXiLNziNOhHCRsxofNBc62RjWd9JsXj5UBt6xaVJe+gz9E+
jTQenmrOPEA9kpqL/sZm5ptwFXxv0lfRb7tl4nG5sPHK72MfEss=
=v2F0
-----END PGP SIGNATURE-----