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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build7
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.7.0
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:
 1fd8be330c38a557b544ac4376dc7ecb1bc1bee0 3609745 coq-unimath_20240923.orig.tar.gz
 45fbd750f546b318fbd0c9f2b6b902ab8cba2d32 2564 coq-unimath_20240923-2build7.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 23aa01232efcbeb66727e39f53a1408fab634547edd437f7bbc8d9b33d173785 2564 coq-unimath_20240923-2build7.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 f4622bec8430d0ffd1b1a89a006ff394 2564 coq-unimath_20240923-2build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOBYACgkQWWH9vpxh
mAnj2RAAhOJ/3/ZdzMA5KqUYLP7tSWTI5T+QJjKMy+FEdb+sn+u5ftBLb2YHqngy
PNDRlcfJtX03/yQvSgVFtaZ2x29H+9ua488xWoniqMVRpQgWjMRj9SG4zJHmx+PK
TanVlHC9pN0z0MeHC1dE8vf2kKH1FUV+0+j5kOZzzblGsKJ2uCetYpkGIGkHhcdR
25lEyYoe1t01kOmeT2ZgX2tc6DwMf8V+lDXya1naDJHHTSV4h+PLy7TaZpmXGl5L
61a5KhBT4HiajUII7kgM7M+babWgrMNmm3cohtlCOMG9ZPE4G5TaifAMI0sGgKPV
kZ1acXPxTCtnH/Zn68o6wrMhY5qoctOBxsstROpBWnbb23liZJyB5eINn5Na1Bxy
bhCLQAuzJJ5SeF5953WnrWkp8j4PywF1qBgaccyeEr9xJrdZ65OOINMiP6ZpOBIe
lySBTpUbo4/uQFuQwC/Db0SrLkQwnKvQDefPN1IDHSpe2YxoyCAbRKTHVdzCMEbv
5vEzfhruC/HHyi9rERT8fWahXV7okNfVKnXW9k8LPjHFBdTs/1SO8IhXf+YUDGe6
SBCqsyD/kQYWmGjXNK13GITHZgHAcXL7wd4It8PbygOgXlD44zfqWioBexDq5U6+
4FwvKXvAqO7rl0qX9AzEpM9bidJvWlMud5hKEJe070G31tnISTM=
=pdHV
-----END PGP SIGNATURE-----