Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 05 May 2022 22:31:21 +0200
Source: mathcomp-bigenough
Architecture: source
Version: 1.0.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
mathcomp-bigenough (1.0.1-3) unstable; urgency=medium
.
* Depend on a proper Coq ABI.
Checksums-Sha1:
d72afd953c660452035ae6673a57a9aba1a41fc8 2107 mathcomp-bigenough_1.0.1-3.dsc
503e8b406c85a33cb4f2e68817e743c3e92cf828 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
b545d2043e86bbeeaa6bd43663b3e57e5d0f8837 6688 mathcomp-bigenough_1.0.1-3_source.buildinfo
Checksums-Sha256:
d690ed138fe49d7a000d84090db6dd10064edd377644c4176d1050bb9761128a 2107 mathcomp-bigenough_1.0.1-3.dsc
3941da95490d31a74a8f18be473834045814830d2ce955972dcb43986c454a64 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
ee1f09d1011b222572269beedd47f83ccd6a7ddd2aea2f4188b2f6c299243b6b 6688 mathcomp-bigenough_1.0.1-3_source.buildinfo
Files:
1a989b5046151d9306f415ff2279ca2f 2107 ocaml optional mathcomp-bigenough_1.0.1-3.dsc
6d61fe39d73c0a32f327f1f17c39b99e 8460 ocaml optional mathcomp-bigenough_1.0.1-3.debian.tar.xz
951c92bff5b8abcfbd4182dc6cd0ede8 6688 ocaml optional mathcomp-bigenough_1.0.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NIkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR1swQAJi3vd4/VugRTuPgeCPc1moIKV0Vd8rs W9O6QGTnoJaIEBlQeq4N35t7n8VtuU4fI635637z6geJlSod2FheZZ3T+Eh0N80M rfiuKaCqFZvOPbAai0TsiY7FRJbzraD1aF/Bd3xwNUTWrWXakd8yMsomjoeODbN+ VlRLIqwn89id7ihHSykk5Ie2WkviA5NhXjDV/3KwWc+WZXlEddQQyGnz6fKzR8xw Qm4dr5qh6kLg10k8MjgDOIEG+/49aRH2e+17pvTyKg0+tfWPBAiOqi5P37KX3rBD 12BQ5LUC/xGJTJF9mT7nKhzqIvLQku+O4WXxMfmVukRZ+rZxqaasJNVUISkvgCax dlO73rIsd6tfJa/8H5FPaXRKGLCmv/0GyZuEtGyC8jRMHFuh+vgohUu4DryufQPu kxp8sZ/JfWNDBKgdVveHbpr0Q7c5W6gYdQRGjMFOwC0/Z6CqwZUXxpZyKhrffx74 W72SEhNOFPx9KlsIJB01y37mKkiGwLVRbjnOBf9yLbwDuc830kdRP7ntWLxORbBe 5HqZzb/L2aDsPpzgVsrCQqGkvb/Q/BMM090Ov9aLjXs5UCeGeD+PD9DVTAPJjigJ 5frGs1iVk53vzJmyhnk8TgBiRRjSqVK2sq83MkU5F8J+uwEs1FZkyb1SLZLzuxaN
2Q/kiGiSqdSv
=P2vF
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)