dh-coq_0.6_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 22 Jun 2023 11:13:09 +0200
Source: dh-coq
Architecture: source
Version: 0.6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
dh-coq (0.6) unstable; urgency=medium
.
* Adapt the levels and tests to more recent versions.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
d5c325d53079c83d88c405a9b93eca6a7876e407 1651 dh-coq_0.6.dsc
9b6f4e088dbc758879bbd84ed4a9c4159989460c 7608 dh-coq_0.6.tar.xz
fbd4dc6f7134adc5d5551674b3a90f07c267d411 6360 dh-coq_0.6_source.buildinfo
Checksums-Sha256:
cd0ff4d6d08d7c7b800ab9c4334aa8de91b961e998f7c097e7d6beae34584df8 1651 dh-coq_0.6.dsc
aff56877ab8b28c97bcff9c3d73f14543c26378e53377969fcb33e4ee753d897 7608 dh-coq_0.6.tar.xz
dffc2d925a7074a5273eeea8f7bc3e4423198a8a89fc11482895058449f9e026 6360 dh-coq_0.6_source.buildinfo
Files:
f48b4848e19f644ab428b80d12f52121 1651 ocaml optional dh-coq_0.6.dsc
d6e392c64ae644bae75b911f29a79741 7608 ocaml optional dh-coq_0.6.tar.xz
4906bce6e66b1eb7b9e7a26462ec55d6 6360 ocaml optional dh-coq_0.6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSUEL8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDlwP/29L3qIsorINOg5OQdR6GXwz1AQqCg/r
K0QBTDI/VweaMRBcl3NjjX7SW/L60sHTbNYmIchAC3wbTtb3jNPN6cx1lUZvHWVc
Sn7RhHVf+wrKxSGshvsUQN12/fj4V53jKvpH5tzj9RG+9AjDmRDVCkR5955GqeA1
dfN2o8/yUKOZc0+u+43c6tNkhaohznp6M62Uu4oIEehSF+dKEUGq5kjZG4mUXf7N
hUzhoIO5ICr6THJzICXnSAthS3Df1GO7H+yTZPpjOVWwvChlK6lIuPc6TEpKL/Sv
0wvkr1fgvOEW1wAQwRiI4eT21NArFUBnuEiekphMvJ5daWrRH/nZiSHDBnv+Z9wF
xZB9LV3vUF3Wbe4F51fGP46mI+i548UZB4zi3juOvVW/auHEI+hl0cfCmWgPds97
TUT+EBIhV8n/iCaXYpcgwl9EynVlC5PqMhx7/2KQrk/CF/Wm05El2uOshISa1nO2
/hzDEX4xbLz6FstSQUrztGtLeVISaJbbHegX9k8/r90X8AgV1vuRe5weUdFQf5zA
dtRdcHnI+AP6jgWfUEJUBi1rkpTWJrUEl0XReL8b4RfsOwvb07PbfdghbOoJ9Ns8
1vYHDYrFhBvF9oLFykO/cTB6nywa69JPcAmEBd/TQRhxeiudFYKbQVFj2Rcwka7I
MvLKu+QIatXz
=mwvp
-----END PGP SIGNATURE-----
Reply to: