-----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-----
