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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.19-1build1
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.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:
 2c17c83a2690808497fcb029dcf464ae9cbbcc23 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 68b6936980e1cdad5238431d573b7467e8ba0828 2136 coq-bignums_9.0.0+coq8.19-1build1.debian.tar.xz
Checksums-Sha256:
 9ab4a155d301629faf1cc6c10682fb657bfa9df5ce52269316b43109069231db 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 1150577e4f5eb8e63b31e519a9d23c4900d7909b01aeee8146b65990359100d9 2136 coq-bignums_9.0.0+coq8.19-1build1.debian.tar.xz
Files:
 73a3b64b854f1a5357ce175bf3852744 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 30a4d66f191f2c6cbf9fddb015aa63b6 2136 coq-bignums_9.0.0+coq8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpjgACgkQ808JdE6f
XdlbnxAAqSY6kcT3FkHMtcyqFbNZZmHkbRUAnkAMHoU7FDq/i11jYp5983y6hswc
e3/gmi4DWTZDRo7E1Er0Zp4nZiLvIGLLtpdEfLmPatTioCRxqLiBYM8JaBeNGbIK
v8vDzpKpbSde2/hEFIkYg0hL8gS9nvVsfCbR4bzzjCXA/RenDZNLsOARy+19Fugx
n4DsFSmvPJ/zlfwiVCHK+2H9CcXJtL/Ny7vPKMOYD/5UvePFeg/ChpPhvUqk1C7b
S2Vjuyrfh/YdNx7est68FA4lmbkS0ZGbhYLve8NgYDRsdB3++kfNLT4L6AygyZS+
FK77zsSIy90abDKHkeUyRsSiQz7fS5L1wNPINzXIAZIeb/1j/sIONoVI9dyz5XQb
Cznx+YTX30yA3PlO3UPQ3qCi1TVnyk3MAQ3P6qBnfG3mt8MDmF2gAKed6reo9lEt
lzwmTaJqLYJ8F0Ab0hbzsV+HVOI+V/gD4B+GNmHol8UY0NQpM786eG94LFnVrqTk
0g6SKYbt5StbPhrHqV8TSzAbZvxXqAmiKHAXavXn+gJQFm11WxhWSS0Z7u11zOhK
BHAsd5xTJlbkaQ3hVnJrDVkUXHylLzRdh4YsFcUivvSmeaHj6TAzK99nbQMzIfz6
mFTPr8ElwQBNSjP55mNPa0Su+owXZH5lcctfsTcX0TnUViv6Xac=
=+cIv
-----END PGP SIGNATURE-----