coq-hott_8.18-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:30:17 +0100
Source: coq-hott
Architecture: source
Version: 8.18-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.18-3) unstable; urgency=medium
.
* Bump for manual transition.
Checksums-Sha1:
bc365010571849a7e6602368d8caa7703d9dc0b4 2029 coq-hott_8.18-3.dsc
c2277ac9bff88521802bd0a561d0a04f00eae3ad 2888 coq-hott_8.18-3.debian.tar.xz
24b9d7a84a9f9a8bcf51374d1e5258f3c35b6b20 7824 coq-hott_8.18-3_source.buildinfo
Checksums-Sha256:
efd90911711336d3505993cd7dbb20d4f5774b21c8c7fcf285142a29d77898cb 2029 coq-hott_8.18-3.dsc
62effae3abde6c8f380861bb1e1773045aead9ef2d22fc3c00e3ac6f0deba0cd 2888 coq-hott_8.18-3.debian.tar.xz
f74f8fd02345d0e6e421ef501d535b238557856a78aa875f5ca28f9f53770f2c 7824 coq-hott_8.18-3_source.buildinfo
Files:
83b0dcf60e452ec53794c73a2711becc 2029 ocaml optional coq-hott_8.18-3.dsc
1d526ad57420eec039d4a6ae9d038d4a 2888 ocaml optional coq-hott_8.18-3.debian.tar.xz
723c560db05e5aa1a93ec6b04f1f41b8 7824 ocaml optional coq-hott_8.18-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETiASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqwoP/AgBHd8THfmBeeOp1ERBDAKamg+Q3y4M
3lKQxd6wXs/2CZrqYpNqr2wJORZa59tij+vDDk/dPnYfrF2RYeRKVP57P6pp8NcH
Wbx/DSBaDsyvku6/saAwv5MnZAe+dqdfg1IRiAyYOctUU6ZTpFiJyTXXEiNdT/mH
Sx0zKWvx4+Y5TJ02A0uAVFv8BpIPb8whk3ZKReDMv4+cLRHhBKSbfmyUmWhwWBqK
lDd1uAPYu0MgS1OMUXBGwCNW0GxwX/KjyR4ZUjIxDcPtBwATJyE9kQ6d6hiiuSgM
3f5WkQNAzcIDD6IBEjURRqP+x4d12CJw/jyWOjQW5I2ietu0ECwp0i9pE8iVwQ+u
HVLQG5IY+bAJ91nzPU9BG5fwnrajQioHz570MCT7r53O+6ajkoNOZ5ksXxjDfnZ0
smENnBCFqnKUeLqS985EQdQX3CqGXG6Yvex4dzqjeHNwBe1RBoY3hn/YPq/tugyB
gdwZ34zUNpnpuqeuk4Wd/j4d53J+kDGzc+Msfb1nXugsC6+owWRJKMWZgF/KDaKd
rQP4jnZFF7BZLMZJ9GwyylkKzBi+CLFhFpDaB7q9Dd52jlzanM5qHjRKlglMKOiD
JmRNUNVTmCv49Y9uSHTZ7QsYn1+leH2XAbaw9wsPkJjHEAtl9ZlDTFqxcS9ZtWYm
6/fvQHuVeLYh
=O0WR
-----END PGP SIGNATURE-----
Reply to: