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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20231010-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/UniMath/UniMath
Standards-Version: 4.6.2
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 (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz
 0d1d01bf48c78c230a251ee65cc0769bb3d4790e 2212 coq-unimath_20231010-1build1.debian.tar.xz
Checksums-Sha256:
 c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz
 cc2027e752ad509d92387fc782028193f1d1f43cf2590701c6d29ae7b6f91a68 2212 coq-unimath_20231010-1build1.debian.tar.xz
Files:
 fa01c7733174c7ac4c161b610dd7f858 2893033 coq-unimath_20231010.orig.tar.gz
 732b3ab8cf71aaf495838888ee51d61f 2212 coq-unimath_20231010-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cLAaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2YdhAAzlUPGubiD10mu8QZ1lln
kPWHU8q3cpzkuaTpFXpj05T9nB5efhh5qlkFqs+IpJ8s57xIZeAAIYPlqrDNiE5P
B/2USvBCHnnwnA5N4GNXzXyphhttJT4oZDDW2RBp2mxZl6U2X71XkaQlH5SPmsyo
PheTMDlfXXs72DepFrz/C7h2Q2sW7cWAjUAJbZM0jF9oQFpk4xjDltSQtNQ+y5EH
V+UVuUcnw4hBexZSTD1UL2hNkCxx+A4Mys7453rt6cHXwZG0qxPKRpah93/9KSxU
EfZikmDWVqQFcaLjwIZ/8nNqJtQUsQrI3x3DZCyL+iG7cl8vfER8LPkXOvYXz/7h
QedUlKqHZEF//eRRukn/XW+P5IoBNFXjtY8B9kxqbY4FAV4hK/6G3MyTwqDmKHhv
bq+YbQXiYBMSL82Hh/GFgWo/L3OenfNwzG4drHOyirgZe3tufnuVDjT2Tl9vhu/s
sD2YwDAWxhm8M1rHC9WG3VjT55pvVRQ9uTPQF90D5vOehkFJv3JUBnhgG8dJBk8l
OIRTEHP3yJnpH3Kd8VZtzcfmCQlNcVkrd41DXXT3em6Iy29r6E3ySwHht7cRRM7j
KGwR40IapGd/wbzX9sZDIn4Up1KIkWSzuutKwq4IoY5bywcLg8oA9Kt5CFa5KJLD
L7hpsLbgZJL9xRvORYPPrJY=
=mRRD
-----END PGP SIGNATURE-----