-----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-----
