-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:10:06 +0100 Source: coq-reglang Architecture: source Version: 1.1.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-reglang (1.1.3-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 60a679a042181daf55e9d6a8ab97ed9006d7eee0 2111 coq-reglang_1.1.3-2.dsc 1fb8e9e36bfe6fa4ad9105cca51dde8a3399dd52 8392 coq-reglang_1.1.3-2.debian.tar.xz ad3eea311d5c0493e5a2e67cbaec9fbc2d6180d4 7478 coq-reglang_1.1.3-2_source.buildinfo Checksums-Sha256: 9924166d0d0941374a97ec456a2f058910968a274c249ab5ea52b5882267775e 2111 coq-reglang_1.1.3-2.dsc a5476d0f96f5486e858d61b99163c88a59c436d66ba4260e2cca17bfa9dcd003 8392 coq-reglang_1.1.3-2.debian.tar.xz 61eab04de35b92ea0425eec55e7d1121e403834e1b4a7df8eb7cf4a0fef28e1a 7478 coq-reglang_1.1.3-2_source.buildinfo Files: c1792e258599e46d62a96905ae5d1d48 2111 ocaml optional coq-reglang_1.1.3-2.dsc f114c053e00795b791619d7a19a62bde 8392 ocaml optional coq-reglang_1.1.3-2.debian.tar.xz 6d39b7ee2b8fcb1cdbe3cf87aa76b501 7478 ocaml optional coq-reglang_1.1.3-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHGUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRPpUQAI3rrEhQpDlNCsXxptbGn9PmAJrFkwfa ORR/rE9ym2oe3uIggyCamAbsa5/xNVgOD73HwzztXJlT7omhbPU2daVkDUbij3FA KsRIUSs1Lo0KsiNhFo1c2EjHJHuefdlCS8JdJxHiDtjToPJeK8OHPAeuNSW9QCb/ xrM4rbGjpXtlNPMh5hqSGzC23XpL1kMKKFvDcMmAMXcnQn0KM7tfEdiO/7vXxKDC gIbNcNGWNOaccgGWY6YHsg7c0kAUXGWGMFQV2ldodzo0j6G3V6jNa/TrRkVsJMwh Kffn7CFdS4s/i9mC3WexgTcPMJnRrjfFxW+VhSIQF/a/D5kSVeH7Q528Akext/R0 31GwpCCi2/C/cLo4m0miDM8lFyfzzAb5s4aZc9fBuSqe47Rh4WwSwZya0EG6RViF tGMH4FxgR01m0QP59A9RynnbEsXLKLN81kkwfmTDUA6ulPZIoiuyo4NbTy0VV6Ce CikJDYvMnaQ9uXEl1cJDVH1ABCv4qHq1EIi6JbKZK2JnrYiOaAeyDC3pX+948Lwn YRx101jNxJUGLj77QJB7QZ9Rh3JiPexgGsqAjmeiWuLCXKaqDQ3sDjMpHifbfE/O +FsVfgpMr5u6pWhNKH9Z4MinhdUdalLV4vYujqhTPV8tq/97Ut68pwxRMBkvbK7u FbFmSq4VOK+N =iqQj -----END PGP SIGNATURE-----