Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 15 Dec 2024 21:49:40 +0800
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Bo YU <
tsu.yubo@gmail.com>
Changes:
hol-light (1:3.0.0-2) unstable; urgency=medium
.
* Team upload.
* Remove libcoq-bignums on B-D from previous upload.
Checksums-Sha1:
ce74ddc8aeba63340cc0b4e335499bba8969970e 2039 hol-light_3.0.0-2.dsc
a45cc3ad7249adf15aaa2a84259fc009fb72c639 10892 hol-light_3.0.0-2.debian.tar.xz
573e62242061e9b5c1d61fe2416272ccfd26f6a7 7626 hol-light_3.0.0-2_source.buildinfo
Checksums-Sha256:
a670350689395cb0510fc2d267c917f65328503b432e90afd469a701f84b11d5 2039 hol-light_3.0.0-2.dsc
e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9 10892 hol-light_3.0.0-2.debian.tar.xz
78fe589cc9470b0cb7c8973bb21ec418d84ff0dfd715084f7b12ed26b98ff116 7626 hol-light_3.0.0-2_source.buildinfo
Files:
f5d9d9d4fa0e2f02e5cb1de40204bef6 2039 math optional hol-light_3.0.0-2.dsc
07e8f72f27278a25b255dae1f3f2a166 10892 math optional hol-light_3.0.0-2.debian.tar.xz
bfb7110911310d64fc5f985e2de2d69e 7626 math optional hol-light_3.0.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdfyn4ACgkQ808JdE6f XdlacBAAzzxtpsygTvhEYERVckOMaZv9vlm7gDRBx462fku1PlngNkjfTgCjoxTU kS6jJ7Sy7HpY8cdiuJMmSYaPpbYio1eBlpRnLvHYGTMup+nHsy9Nm/uTD4A5XF5B OngE0NDrOfLExSJnOoj48PomAnUcgGjIqdzuTcr7IsGDPxAglwm6KnmRtSv7+rlD CihTJw2sDo8Ii1ZObTGELrXUA9B6gvpXnWOrPKvhbvXYqO4BlKxNkced1wOLTYEa p9HSaKUfi8xBqfw4oJxAaxf9ov5ikxl64m+fnrgNxjK+rlW0w/m4BxzV8FSUSsgq gkVRzJ7ZCnZ5bP6L90NWJVOOyYp0iDiijV8Q4Brvci75EQJmS+PbLkG1TkDEZ+9l 4fNVGn7TU/EOlrUjiD81reYAOi2BBkpOSDkbSxmhQBdActTnTkeYj9QtZIxW01TW 0CnUGHi0J6W/csbHg6E9BDJJBQc4GIqyRcBuCYASVYKGLTzfFya2kEQfq6Nx0OTm UkrMf9OjZxsyhRgnAMjVbTG6QTcZ+AC2OMQyMU39cRUBNwMXCqIx8925ahSM/BXt JQ1ZURFayd/diQfzmKEawocmdt2YBYEf/ofhrggF2jM/kpypbXK54Dz3/TKjd1v5 wvJa3caG4wn35l2y/cbegWqS2DWOY56K51ZxEsjoMoeRk4SVvaE=
=Y1Kc
-----END PGP SIGNATURE-----
--==============ˆ73789745154200001=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ1/NfAAKCRCb9qggYcy5 ITtHAQDBn6rVf5IQKXNZ7Big1APx+s9WcAAtTuAS4woegmm2kQEAsEwbYK695Mum oLa9b/akhbuZb6klqfD+mW4O89LCiQA=4oum
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)