coq-reglang_1.1.3-2_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: