Accepted mathcomp-bigenough 1.0.1-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 09 Feb 2022 08:19:17 +0100
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: source amd64
Version: 1.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components
Closes: 1005215
Changes:
mathcomp-bigenough (1.0.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1005215)
Checksums-Sha1:
68b651974e02bcc9b954acf2be5240ebd39ca378 2107 mathcomp-bigenough_1.0.1-1.dsc
fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
f4eedb7395c9148776d6b8ec9deb006d63a916e2 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
615166d397b06dae3aeef87de9fd96b67cc8dc6a 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
48cd3d5ca35c2c2c93a0966b51a4d9c44c638e28 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
Checksums-Sha256:
f115dcf1776453fc8062f0bb3cd296e287e9087c0ac7b0cea32acae96a7f234b 2107 mathcomp-bigenough_1.0.1-1.dsc
a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
37a13c5d6b928889cae401ce25be7730e618c3171611a3f2222bbdc781450b03 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
d7ea6261aa57bb37a814842bd8ff669af50d4bcf05e145e43534ebd55ef423fc 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
c270372f64d2d8e7d6f14ca8e1e53d10e3177614cf8bd7ea4ed823ba72f9053c 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
Files:
c5614956a8af9bdb0f61b65fd483d413 2107 ocaml optional mathcomp-bigenough_1.0.1-1.dsc
6643a658ea6c6fb32b788a730bedee55 12248 ocaml optional mathcomp-bigenough_1.0.1.orig.tar.gz
73340b37726d6d7f14353c43a2064dcb 8340 ocaml optional mathcomp-bigenough_1.0.1-1.debian.tar.xz
e26c02698ab74dd42a916478b4efee7d 25680 ocaml optional libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
bbbc1b94c25d9c7d34325f831b9583a5 7791 ocaml optional mathcomp-bigenough_1.0.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDayMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR90AP/3l7eJGmzmyp3rNQnKpYZeDeC3RGUA6U
Bl3tNbz7xgJ+S7Rps0/Wsxmfga+AG4gqLqO55m7ZqbZKF3OywJrqYZUYXicRj7vo
jE3A0ECfOjnx56AZlPmq3zOI9sJu3CtT6l917q1klzAL5AP1fNXXzJhPmrs9wIKy
vAQJThnN7pmW3IJvTAO/NIjZcKo6yGx1F6wlTSM+hLgEY5S8hNWxpKub9P8Q98kX
/3tnRFoyKhiNHoISKPfwRBa4CzHMBm5Kly5NHDIvjFTSP5+i0Mn00B7regfTpX5e
1XldznkENz+6yglKT2BQCsi82z4X8l1PqyhpA3jKceBWcztcT3PEmx32R24/BXdp
woaIcqkqDUH5TxCBn5lT/YNBizantnfA4CkUnVUCXTtBeRiXh5ScVAl8v4NoaqwO
E4w/41VBqpQCR6UfUieC3MSJ4+xRE5QtbzSkjTvrwZM9hsa6DFwYF4Eofqzk73ad
ynAA5rdXXKVLgrJuwM3l5SoAZSIbZ25wMb0cXc17VsW8WlCdy20xngJvGD6IeMQl
krsOZVa6gd1691U/l1uMWD7D3ah1JFny0FRvqBQQDKfB95esrc8Ny2ClRDjRKOw1
yIwqKi8PjdMcYWUpmatyHlZAIBhBCNTn1YsN4JMkICRHf8keqUtOd3GRF1/4QT4b
ZKinSGrqa+fs
=8IIh
-----END PGP SIGNATURE-----