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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/bignums
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 bf8aec1b920f2abeae4824057e31f513f28fd074 116104 coq-bignums_8.17.0.orig.tar.gz
 a4bd6ac8dac259a70d7762d6bb57acb28161fa14 1936 coq-bignums_8.17.0-2build2.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 6424166bd337ce825d331134fb2dbe822bdb019e63ed4c2fe43647483ddcc665 1936 coq-bignums_8.17.0-2build2.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 bebf7510ec9f26c859d5b4caa590d6fc 1936 coq-bignums_8.17.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPuda8ACgkQ808JdE6f
XdlA1xAAzl3S7pQlk126dYysda7LG8W5VSmRxz1FmNO8uj50LyOpvcERLSNz/Gam
BPVozQBxL74+Priu5PQEOUYNhPHFtPIsPMugtMOn35Vu8BSpu3dQdmWKF3itsNkd
dsUuIU/7CboBDo/cPWCDG7z2XejYChkv9d2JctGTpPxruLEXvSYdtLklVqqgfxcq
k9vqnc3Yz+cgge/YgNPl3SULHLxrUB+AF5bVLBMTwJkKod8QvD9NOMzjAG7hdumh
l8hNd3B2PVyPR0oN0rBepaN4GLOFM1GXW7smzv5A2RMtSzlYmEmgTSY2BxX3fo0K
LIvQPIVa0bPDnQphrnkgLQqnE36aio9qxZwQ8xpBD5xmyrG9C+j53nI3pvk91+bz
XtArEH04wANNnWAyCS0qE7ioZZeGHaS0zQtYFayy24xzxxjR2z6/TQL/zODVjoWC
QGNcdp8ALFWN9vejcySRkrjAzHXQimpEcVs5me8dJ/sronhvFyalDLMrx3LLjv/A
zHAYZi0VqDQ9fIpXNh/WQD2DtzcdLWkH0+epPUeIoMYeIQ4AfJJRDyb6aMtq99ky
Hy6ZJdsBSol4FOKw9qGzbdyBeR94+bIKH42Px0ELz1Ry7qDY7P0RKJ7J+StCXSxC
QkPz5pEw5MUHYMt02NHJleG0na0UttXYfuwTLsTaiUzubO7VF8M=
=sDJK
-----END PGP SIGNATURE-----