coq-bignums_8.15.0-5_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 13:48:40 +0200
Source: coq-bignums
Architecture: source
Version: 8.15.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (8.15.0-5) unstable; urgency=medium
.
* Point d/control's homepage to the coq-community one.
* Use dh-coq.
Checksums-Sha1:
72b2caaa31b1b4ebd98b57c4dc722b1426be3e1c 2211 coq-bignums_8.15.0-5.dsc
30d0994518060416d34e0d22d954658f8815a5be 1876 coq-bignums_8.15.0-5.debian.tar.xz
6f42938afee5c674ae6fb98836c054b085bffbc0 6731 coq-bignums_8.15.0-5_source.buildinfo
Checksums-Sha256:
943115e01c488970b6e09421338827cfbdb901f47bd6db627266b134ae6bdf33 2211 coq-bignums_8.15.0-5.dsc
4ba2de3e433a6bbb801ee29a951cd9d0dd9df97018d21c0f8a8bb8318ab5d421 1876 coq-bignums_8.15.0-5.debian.tar.xz
adc1c83115f63c492cdb1c15f831cb94ee6e639276be44c3552e2debb25d04ef 6731 coq-bignums_8.15.0-5_source.buildinfo
Files:
a505d4424c554bd374b64d84905d5f81 2211 ocaml optional coq-bignums_8.15.0-5.dsc
75882a9b809ad7164f3d9f08561e3dd1 1876 ocaml optional coq-bignums_8.15.0-5.debian.tar.xz
1d6939cf14da95f2cdca9f8147141285 6731 ocaml optional coq-bignums_8.15.0-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl0rMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaTsP/RRqM5iG06bgfrAwaOQ1ugKGDGH5sTQT
9s+r2Mqm0QN8HJzP/vt94Zzw7+tSQfsy//Ypud4GiTfnXT0oZljeo8znpED4OPVf
n19Zu5XFnqMUnYmt77KJotuKQHwTyhpLtNr57KeuWxesmXQwkSztBL+uWzD1hIp1
ku3x9rKUjGUiMR+/iLcMymkdgtgSNXArN+OXveoW2JiFjLqvWMM5tOphtNgNQFXX
e+S5lXKmZ6ybAhb1UO3nRfRc39JkFqgQrpxY4NzsMYjxDAo8O+7CJ9+7laCa18ch
3z5gADSmVnG8NEgb9quUm14V2PQL66bM7eqU4PvNMoYN1cl6hbGXTU82drR7tSob
jE1uSv6iLn2Dm0ZAHOJ1Cb0eW98Gy48ug8xgnT1IJXBudKtjnpnvcp0/CFWvkdp8
f0NIiy9yykMQjFmujcjDuRZC3lz3kQ0PayBGxU9iqH5z6EbLdOmJZssgQL1ok0MG
MSzeEwqL24jX3SCLBcZ6RLBpM824CP9g4HuJ+PiUQEegC9anDx2HEHpqbpCDjO/m
OWhYSW3h/KrmgLFskYrJjBC9oIpwb74EDEZbmNSuHSVB+fltQ+4+tRwf/SUvW+VT
rxsJYJCAvyjP3gD/GQjkbeOGKbXPnrYOkyxqEVdBjsASO5XWvW6RV/bbXbKCe2ux
N1QQzbvwZZpN
=MllV
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: