Accepted mathcomp-bigenough 1.0.1-2 (source) into unstable
-----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-----