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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3build3
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 c32622ae7c4dd3108ed2ecc8dfba759291ff0080 2428 coq-bignums_9.0.0+rocq9.2-3build3.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 057f740495374735e55e3b0b66c123de9806b7b7ed87d6fa1a4264f80199d99f 2428 coq-bignums_9.0.0+rocq9.2-3build3.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 5dc5f0cc5a532076831c45b097215fe6 2428 coq-bignums_9.0.0+rocq9.2-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0MMACgkQ808JdE6f
XdkBXA/9FGxijvhzh1B+waXC7/G9YFrRHfjZtzdzYw7mzg87v3RDvz6gTIJ1Tdor
cMlPcEJ4RboIxbvlGWNI8vP7uVsKpyPQUv9RDyNsoTyHH7gJwFENf+XwcNYliP11
WSFMsMeeKoPq3hHhX28mqwQ7biTTEK2YrEpPIcjmUAgqqccrNk1n418rGYV6gzv3
/EHjBLubmCHJFzUUzVEnH6/NPJWUWD/pjzNu3lUmTVjpAcxcpYkR50RN2vlOfCof
Rc4eN6Keucm06nXgFN8LiA5kCJppNdvuaLNQtcZnUBPnKxUHt1QBXFkBaBeL/SyA
BfJi4t9djxWipPDtjtP/IgoYZg/STUcASaTjR+oRCMN8AV30+KnL9VNdzkynKrTt
3KbdWD49JKa1MyWxJtYgCzRgthXvvc8TWZaT8I4kG3hRcZOYWAUmE3xba7Hctz5z
sy/jOv2N01h9p+EPLi0k8nfRX2VnNKbBCyVFRsxCmmlTbKXpyozeIkNypr94U0Bc
1sIl6K7e77JUWDiyUzOYJcvqPNYCzgT5dkSvIWWFSevMrN9a5F1iRys3DOWHLHIh
amd5Td3xVDNLM7+PDJYOzBiVE3h6DEJZBNW/W+L+Gx1jirPo4JctmuN1/tZ8KwjA
Fr36GgzN5jjiAxTCtV3jURPYqW2QkPLuakAl4ALTiX0VyxclHYg=
=x+Ud
-----END PGP SIGNATURE-----