Accepted coq-reglang 1.1.3-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.1.3-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:16 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reglang_1.1.3-2_source.changes
- Debian-source: coq-reglang
- Debian-suite: unstable
- Debian-version: 1.1.3-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=jrTrrCu/gFl02HR3/F/Zib8izWEZdTFKlaSvmK86ly0=; b=sI5NJbpczx2bGC1TCNS6y1IPbh bHKzupxX1QXIOfOzCpBqPy1wLEYahn2bRqSSjqNUrbqsmhxywB71S/Rqi5tJE3yiyj52XYCAJ4j7L CUO9GkqHt2GtcbsXfBiGj8dhJxqDD/X0J7It9WRXGwfFaXDyloUdhtBCiPOax8IXrAHT8Sr2Rtugu xOXx8KjZZmn+HZHrlCB4WNBR70V9329oMG+IA344pkOLAKCdv09Hh+bYs3oq0RxeFydPjLmKep1gu puZ7xeU2F2Ux+4+Fx0qEzMnZ3Wg/KnBJGdJl0rYwy7QOSDZJrh9Iydpxw++BPUYjZ7P0FF/NZXaAX 6CMARSng==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1ho-009EWg-3d@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----