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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-2build1
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
 99b5efe1c55afbc0fa30aa7a8cca27b25b25c477 1852 coq-unimath_20220816-2build1.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 199e2ad0439e3e4ec1b58df6751825e84cc18ce3fcac677588e7b68c4f3eb7f8 1852 coq-unimath_20220816-2build1.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 fb4cde88295269ec7349c1e9d414e366 1852 coq-unimath_20220816-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeZ4ACgkQ808JdE6f
XdkJ5w//WfnD+aJu8HJocrNVPhfGlQ7bSR4s6hGWHrZQ9CXzwIk3kiRVoVThBwz2
JiWe0VLy1cfEEkEHM15vkPMYK/he0L5nSkXMTiQYKARdn+5zh0QPKrR+ig7VbMvF
P8HvnTXU1tt7jMaaq3P4/Bl8j0Vg1hMIurals68nhWkXnuSmAVYImQCfvKJCUtnS
LRlaFjMDXl+uasqQZLBTqi7WypFTZ+13H5g9TLVC6mECFenBp3yIfUchnmZcY1It
XD9aynjbOKR95B1JEeFCi4pfBSF95aWpgBF9DDFNaP2WBV+vzk3LGjOZJjivqBkg
p/kMOrp8GY0Kpd/CSnV+3THAbS0Ge1JjGqOcvahxUDlzPn5kuHru3HJPD/8X97hZ
rICHcEyb9TrZN6LK8x8GWHYKbO+H29HxeiUpvG+GO4UpikV4pd8PSh2KNm4sxmn2
RvxXNc6AYLendMSmRRbdLg7bi7Ai2tu7rroF4FAckXKLx7R8EZxCryWuXe89uaEb
1C6D92v/+9LAI2c6eFwI+i8TBjMaLv1RUdpLT3SYYmviVkbGkKtWWo5J/EOBdOEF
CuXhYfWcVz5h/ZRSk8Pa6DhXrCt2Vd2CPBE80dlPxRYrm5bqXlfJwj0sZBoVCTdO
BEnmiDvkaK/o2Bh7vR0PdVAk9WGRsSlwcnwpmInG10cxY5gBVAg=
=V5ZA
-----END PGP SIGNATURE-----