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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build6
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.7.0
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:
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 96db5c3a9ea3f6b11f9eb1a6e66545f9f7bad8b6 2312 coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 1cae708c3767863b70ebaf1ca7d609ecf5509adf1f002b682f5b683bbd990ae9 2312 coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 a66360ea2a8948c6a90fab4980fe93d2 2312 coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexvYACgkQ5mx3Wuv+
bH2PoxAAyFFEOUtWFnsx/InHpziX2TH0x/B9EXzUj9fCP5j8gytx/FD0XQsO5SXy
LOuY0qPzXclGfEUUkFTii5WDcdsmV1noYbTLk7fj4aXTc3A+E+PDqSA/thujFczO
sxuuIScPciHMWHwxsAf11jFoPBV414bQ76kh40M6XmBRAmLOJtWVzQfudYUei51H
6khTFLZx1NUn9iL/WvtPBSlKEPDrN9NqHHbWOJn6OgmELsfZGubnosC3EppweLYd
CvysPJwKlZ6lXXOYnPdOeB4cdx3UA9ohjBdji1+j5vmh78kXbXJgrzeQbo2UW/GG
yW00F05HE2C0q6NA2AzJAAVDmBoyGYXp9IESrp/FCwTzeXwlv5JvzTv80hzC1tNi
9p7Kn995TiML/S5LPEndVd81j1hcKC1DRmxue7jGoDua/Bk4B6pCE8dmsPTweuTB
zo5kyk2bzi54A7a8GJ535xj4Evd5g9TrvRnx8ltUKELJtu6cGQqjJDS/rnM7AvXw
OAXwq8pzii14a+N+swjWZv2h2LYZ3M9SvKkPJQW9ArlOBTyOBXBtCeQkkv0/er7I
bN84bOXPezx+oyIc2a0j7rVvDjjFSb9dP5sw5dsVmVvhtDHB6s67XS13O4+EZkyo
4dBbg9xBNfWA4Fj10QzZjkVHfj4WDcd3kz694vKLIOsPMaC2ano=
=mJi0
-----END PGP SIGNATURE-----