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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/bignums
Standards-Version: 4.6.2
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:
 5a2ad6feff5d7ae82891e723f2eaee7048a24f1e 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 83d834f09d29d2f85d35d633699a7af0f25b3048 2240 coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
Checksums-Sha256:
 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 0ea9102d7198bbbbec6e71e6465099f09376bec13a815d91b2114a0095c46d39 2240 coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
Files:
 b89c4155bacceaa8ef4f7dddb787c182 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 584d48076b4153c201d0f309653e3fd0 2240 coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmRkACgkQ808JdE6f
XdkeUhAAnX2TJFuG1MhXVpIYjFOsYFR6kJdL4P+9Aixtc6gZ1B3ts/svO9Bdn2D5
NEqO0TWn+ik/zJyWQujwOCc7BnC4ZrvhRK3QiFp/aH9gM56oRGIXjAoYonZ7YK1/
ScxfRMORMDSAmC2dGadeyTLix3xBxC54oeJ5YuAcwN+3+FxCh6pvnm1dKtkM3dbH
TMumMYOV/8dRvAGsDoFQ4Ik68NqsI/OKUMm41lYrmygGK+8Bg206C0fD5Fcd55xa
1np6QwqOZSnZ/YVLFxG+qk1L9Ut/mEkakCdK49zxa61+rNnpY9+gTTilHeVi/A7s
MGJhR6ZBS4XQnKLY1Fgic2YblX/eriBEA4APzwIcoGMdvmL+yiSfJ+XmCJ9HqDtf
GpZFjP3glf5gk2mQ9jb9UE/3EJzX47HbiL5gVEqE/LKYYkXtJoymOSERB9c851FJ
6+omzFxHyEVAJX2zMofKTpUe+kRW0U9FVbIotzKg7XuJXrQIR9J15SLpGQYD4aB6
yryGZztTULAh2ftLRhJLvz5HPg7wStXvvxshireI+46IXi6qrf72gTpdKpvPTCww
pBiqkurAGGHv86/IVTYf1cbGrsX23aRotisXosvgzNPbiJo1le7Al0kdMTu+cbdx
gB/Ck+b4qbyvwArtX7Q1ZZAsNe7lQQIsRCmF2wh2Z2tmCHSH0MA=
=Vx6M
-----END PGP SIGNATURE-----