-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 23 Mar 2022 22:45:50 +0100 Source: mathcomp-bigenough Architecture: source Version: 1.0.1-2 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-2) unstable; urgency=medium . * Trigger rebuild to depend on newer coq. Checksums-Sha1: 119fb53bd7e5f6848d36e155ae9250ab5ba88d4f 2107 mathcomp-bigenough_1.0.1-2.dsc 27fe3e685855300c8b41275084004a211bce06a1 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz c90f1fd3a5cdcf23300f92e0b7111d1d20fa6894 6607 mathcomp-bigenough_1.0.1-2_source.buildinfo Checksums-Sha256: 221a441528eb3b076482514aab0150593ff680f91cd787b812902fd1fea0ce8e 2107 mathcomp-bigenough_1.0.1-2.dsc 3e8364d0ad55dc1bc6467bdd977a59a58cab09a279507295b6953f8a1c076453 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz 9f838e58f28a7c74dc38b7cf614fff19ee675061be400e7423362a923153c038 6607 mathcomp-bigenough_1.0.1-2_source.buildinfo Files: cba659085f473b0f66b887cb6ca0a9c2 2107 ocaml optional mathcomp-bigenough_1.0.1-2.dsc 253e67e65bef60995697b7cf90e164ce 8380 ocaml optional mathcomp-bigenough_1.0.1-2.debian.tar.xz ddc2055943e509ae37ed82ec847d4cb4 6607 ocaml optional mathcomp-bigenough_1.0.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7lUESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIc8QAIwn/JMAbEJrg+GxxcbYq3ZYB8X1SJvf dYYLvPQah6jdoA1RunNu9gHdJxutGqrzc3tDkXzGxpHk+/19xvjAX3OxLNR5SM9s 1cliwQDqjnUiLR7fJ0XyxTbcVyzLBe6z5Kwv8M4UL8kD5IT46zYnkBk33m1wzJJY 39x/pam8qdkc/Qnid66js/M5HYppLgnbGwjmOSM5cIe9ZfFnsD8P+Z4W7f2YGnZp +1daASR5C+ZCRxNx9dS1OUsuWZvSAhjgFWtcWcBxqwQ66+M066fH/9FEtOotHCXG /B//9xbj/KegU/hHg1yOL0cdGIzpTM5jtyCN8CoH5aayF3L/t3BIUPI8Yps8DHfg ksTeOvh9tyfO58G6AaG+yM31CwfVfSN53Ceb/8joKQ8uOauMQeHDmY8XENaOMPIn y243BLMCD6zA46s3okkQjqWwVVq+SyXuZDCvfq8S3H+zz/gNKQSMFBDAqV4XgttQ dw5tYkaQHck7cLtPD97DxQFquYrYBxUCb4h8lWrHUHfHvhJP61uv5IQDmUjKW2pf asZouz+mqAaxJntXjNbVOTSc/iTq4Y1k9YYpK4BRRUeoZTrFmBsZMsrTzaV35N4C p+lRowHYoeq5Bp+vyBZY+UkAjBdxixcld0xsbIzdw16tubsyzM/22hFuxAqXzpJj fRyTMELbZpvP =cJ3q -----END PGP SIGNATURE-----
