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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/UniMath/UniMath
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unimath
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unimath.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 db44a40019c97b9eb9752006d1c8d7e2ba0bc948 1986848 coq-unimath_20220816.orig.tar.gz
 85a2f89e589f75c6d3e4dd82e481f233cc9f3872 1864 coq-unimath_20220816-2build2.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 59eea0f03e75ea5e70cb596aa530fe5448777ed7513f65b9073a80d75a7f4c32 1864 coq-unimath_20220816-2build2.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 7e5b182dc542002e1589a1da0d64bd29 1864 coq-unimath_20220816-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudhsACgkQ808JdE6f
Xdl5uQ/+KlAU7bIvnrwLczhCvgreaUJ7eZGQucr73APhJf5IFKx8Pg6NgsmnWy/e
+GTvJtcv6bf2n8OpS6KAm63Q/Y1KAGWodgNgDKkba1BEth9oSOa1rsSq4u8WPmtF
Eh0HECkX4bYk2vFBeGZZ5sZofut9ew4oDaMdYkjrcaK5Z3k0sMRm3iIQpAs7oamJ
7j65NU5072/Y/UnL1ItXya4qNcQQqu3lVtohSWEQmU6H3mIoyQbbj3iFny4F5gbO
PMM7UJfnb4tGx+ZYIbSRGo0NGPYax796/1Eb7kj4zNemDdn9Y/eJPmjCZZOHEC86
G3bPInXq/D3T5pyHOTlDvmz0I/M4r/opgb06UhkYUOxGamPE8qEo1JALUnxQE92E
Jtsfun+LLGwYjfF8WVpxcEs65RTZzgrMAu1LR4jvwPPmsXvCnqKA0BCbTScBgaF3
V0F1yOJNlZn65zBiquZJSG0puJaFugwcCTyaonwQofK0S9SPFSM4YBTdekAHmOCs
hlwY7+fh2jUJHQbwHWTBdS91zXUYPdt7+4T9SydljuJk0Ux742uiB7I1eX5wjHof
5fTjsagTuIrxvPF7Ke9apDnUTwsn82/QqpUkUIuT3xgfTOa/lErGp8YpNaLYjCwi
qebYH4CwkJJR1j1dWHBUrhlVzrsKgBQyOfci1U/jrrvzSmq+z9Q=
=aaCl
-----END PGP SIGNATURE-----