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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.18-1build2
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
 fbcd1f58ac3a876b7f56c7deb00a8059077fab88 2792 coq-equations_1.3-8.18-1build2.debian.tar.xz
Checksums-Sha256:
 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
 939c0697f515a925edac6df7cbef8e1cb0e159a88265df5cd4bf238e81116dc7 2792 coq-equations_1.3-8.18-1build2.debian.tar.xz
Files:
 1a2bada154ceed57fe493b9180f73f50 1102730 coq-equations_1.3-8.18.orig.tar.gz
 fa034bcd589ee136b32c9a7b327d49db 2792 coq-equations_1.3-8.18-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJox0aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3xfw/8D94oJ2xWxSpDHjqXWKYP
T8Gg4ZLOwd0hGtewiHqdtYGVJcGNFPGiRTkJeWeV3JLD/9CC0Ecnnn23Yo6H7uwB
GVSF3fGjceGmI+OBQIRs3UAMvHl8wfb33i62tr0tPl5//6gmts8XfbJhXqLL7JUp
nonHBlMFIfZfgaj+pxxTca/3EDZlEI8yEaNQkBSZYcDHOubQ4akQiA4ubofIa+uh
rmc23oonN2qO+RjX2qFrCx21k8Tq9q+UHIQCCJrrlbqi6i3d66T0HoeiKryX8T+r
o6GPuEgaPLxEiXd4gKVGdqKmoRjaT79/QcbPomEu2OMc2SEQDCUS/gbsZDou0XeD
kGkAMU1bcKkkveaD5OXsdVVXDqLV+o+H2cPi24htOdFiMiyv9t4RK4pTb44MxU2U
7to3eJDMBYE1HGzgDVRA4q7gLcw9Aqbsjz5M7YgSce1hrMmq5mQYL3DxHhn4KnWN
st3oLVYbuKUswRZissuEdxTkx1Ej0xvL1DL6x3aGPXnCIplq1ncqDQpqslr4oTRL
3dcjzzypPeGFjOR1nEYU+C/aFoKcV77ykKXgXhpCe4moXVivk73GX3obkmwO6mG6
H1dZ+EoE9AkBwLufQwf0+kq7R52KufGSaL+Sv5r2kjob9MZHyfJio8qr5419PKps
j5nkDnOxf8zayofi65Hhm9g=
=MQtX
-----END PGP SIGNATURE-----