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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.16-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.1
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-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
 dab51f0a78be477690208e4d1fa55f2123cc2f72 2252 coq-equations_1.3-8.16-1build1.debian.tar.xz
Checksums-Sha256:
 dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
 baf2f24810b364d67dd5cf89fd130d5d587b967182b87f464644f3a876bac617 2252 coq-equations_1.3-8.16-1build1.debian.tar.xz
Files:
 6c5a89dd4eb82608c27dcd53bae7d54a 1097638 coq-equations_1.3-8.16.orig.tar.gz
 61c5b94fc3987b0e714c1b7cde81ff2b 2252 coq-equations_1.3-8.16-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBiEACgkQ808JdE6f
XdmRhg/+IjyEXDE+mbeZnFKbDi0WJDuhAqs2hp/fhsS2bo8S+RxfX8ELFmdSr/Em
vUf0ElQEUbaiwwD8/LGRAjt376D5GrskplBfokU11i8wEe0HAAEdjMym2T5me6b9
j1pqbXZmoBMtenMoMt8keSujtkRQ1iSFsgPoOthKgUUCHzOWGgV5g5I1bjfwjXpx
zKHtXKbrU3BJJrceMDcMSTO6n2cvdvrNsw1fniBy4r/YV8B71Hvd/bcua9doktbr
ozIAiPKrY8dEVi5/D1UYgTkOncZLdhqasFCvQLqn/rzlDuNSTfaX8Uvb3fAVokQL
HNIuetK9FdwCTqrcdsvlA6VHMbKbqon0SmRG4GQYft7kp8yTDLpqdE0fJyCsGuvY
60QMSxG9lXoS687Z8T+PPfx+SsmV9+tbl6pqihiFfj3AlQxdvwh2U3jUGGKk4P7K
2yuLs8oRtcuXeJFK+EPEP+cs1bniy9HtZ6X5zOGq3QMR2HGUIPHg4vNfHOq+y9vM
0D26MHCJ0LE9HMCQjiaQYQj7T9T3xWaMaEGdqobZvZ6a78T0EybyjFb4BiWv+pjV
iwTMe9YGli+Au1YL4z91RbG4GNm8f+MoVsOJvb4JX9SR6LKr6/W2D/nVkJ6zTPn8
Ih8Iic/qvdLeO1shes4PjePGCkmTgRsbj2n5waX1rqwkL/XjATc=
=sFoe
-----END PGP SIGNATURE-----