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

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.10.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/float
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-float
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-float.git
Build-Depends: debhelper-compat (= 12), coq (>= 8.9)
Package-List:
 libfloat-coq deb math optional arch=all
Checksums-Sha1:
 a95041e42139725d0d0930abdf92d11b3b5b8905 99147 coq-float_8.10.0.orig.tar.gz
 ea51103d6c475297de0c5e4c59c6f45d84a3f840 3360 coq-float_8.10.0-1.debian.tar.xz
Checksums-Sha256:
 e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea 99147 coq-float_8.10.0.orig.tar.gz
 d1bd0ca61d5c38ffc8789eb5a6cf808f2f913bac1c790ee8db531b03c6343f8f 3360 coq-float_8.10.0-1.debian.tar.xz
Files:
 29d80b937683f8384fb505c9a6a396db 99147 coq-float_8.10.0.orig.tar.gz
 bf2327ae1aaa487bacea340d7a477270 3360 coq-float_8.10.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5vVLsACgkQdFxHZtTK
zf+3Dw/+I53xkIMkv2O2QDekqwqwx641gRcj1pUqDH4OHcOVtjr68yn6/1RXKen3
QEkIzvKtVU0tvtuOBgtY+X/ispR22KHDceB1NzRo3jyc4zqfTSoBLcqcn+Q9oH6y
vSbLKXQhY3I4tTH+LP2c3hSj+w50ZMu1EcWFyk7px8C8IWrTlxVZ+fTYoAQiT5lz
NveXpKh8ClNYVZX62DjtFF5F4rzBGuq7kt6kMOkEYAKcEnH/PNFCUfekTOA1D7ye
EcqX+lg3zojG1hi6m5HRD2ngYNJBes9YrwhkZDtBNIZLKvu5w0K8lqDSVvuFX5LU
4nmcjmNukmtuZVvw3DwHIiHymXD3rcDIwLROUwIQ+apMJMHvC4K4k0UAN+Kijtkk
GJa+L3B6hTt2sj9EoX1mOGzDkdRb1DYaZbEpk2SsLP78dGerH3/nsSBNfUsxdyIu
23cWc09M/vLrqCB7OA3B6O6Rg8TxQBPFHkHY7+Ax008KHRAitF9Nk+eUCWQOXVNY
lzbvS1ZGkSHOz5zws+JdCGZbPkjeg3s/u0IE4jjUIQe6obJsZYbgGAToEcZYEGfJ
1BVL2jKBp933DWRTjAZA0f2yzb24lqFulStj3wiRGM5/rGSJ5UAKZUs0Cg/9ItrW
NAWYJevNEhmfG0LOqlpmFSmv6rS4mjIMK98dMbsxx+TVJ7yYrfY=
=41lf
-----END PGP SIGNATURE-----