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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3build5
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
 35ef8a728413f87522da450cacef68726f5585c2 2480 coq-bignums_9.0.0+rocq9.2-3build5.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 ce87c071cbec99b2d04287cfd0eaf79077569259058109ec67e2955bf3d12e77 2480 coq-bignums_9.0.0+rocq9.2-3build5.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 1512c9a689d0d55f7f6ef4d58096f956 2480 coq-bignums_9.0.0+rocq9.2-3build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAAACgkQLIPbyOm9
DjcXuQ/9FyaqVDGCt0rsqinOJGmBn3RyNrt9w5/1QS28Bi8iI00jHY9ZfRqjS00N
2za+Qyh7YOHPnr3VW2ftIk/2qS+A0uyjWKIpySFkPnF3hd9S+LTNtwqNij8jLtFl
3vC9pmgw0gN50vzB4JiWKA7bkvyG+v8UiRuYHctyGMpUUP/PjVNbfV3ov7+UCGnt
Ib4NuMjyYLSjdnangXwypa8q7X6YWdoUAdl0rEFAH76FJ+66shtYrqAfDroautcp
PYlqQoIgcY+psqs96cxYrGmvlvcd5+p/9dCWbZ9RKOsWaecunWYrKmaZPM7F2J2K
42Q1otXWNPQkJmwRx8joLYlYdaKdiCyf3wS1/MXWImsv1LsO/O9UC/ygpCtfgWKn
H9xhkvKgpc3xlU138Qffj4VSgvJdVjOSUPSedjNL+Yj0gDWRKv8fGWajbNfk8gL8
CC8Ua9zFYaQJJQU1ZnpkSn4DwD/9GSPmFhitwCynM7lbPs9q8TAELW0vm9fR0cCE
jI0R7QA8Uzfm2Ha5tr8s+sY3lYPkQ1Njq7TO4kt+YyYsMB/FFsDId758FKaQs1+H
ObmmSLGNQw+2DJEQShYWuvTFbA1XJN1SsBv3V5bYkCzT32apOI7Ik4bwQ3JednjH
I7Q2eNMdo6mAzp3ZcRq8X1h8GuL7Q3lmAicXPwDlMJXcoyYnwwU=
=d524
-----END PGP SIGNATURE-----