Accepted coq-gappa 1.5.2-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-gappa 1.5.2-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:49:41 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-gappa_1.5.2-5_source.changes
- Debian-source: coq-gappa
- Debian-suite: unstable
- Debian-version: 1.5.2-5
- 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=sDpHRltBxuUkScHi4ZosVoXHKlyjH7GwTyn2f2LwkHc=; b=lVjZ+f/zsNnLkIfz/95rWNW4Kp J5angZTDkguFL/8b4OSC7wGIMXZ3swMQdPHFjyJX8obXODpWcKy76xpMzPHFtnfDkNrDTPAbGoOkk y3WaNuxJSNCI1ziLgG+x/lpnTrWqt+qpdeUE5cz3TooRgSC/nmSJ4wiS7XLAWPxaa+IZqWEyaXN68 Od54ehiQKXHZcXj1Tg/kHj401ueiNmJ2/EXMquCaEGoMmdIx8xDYlT/tP46z8r9Bb9yXbs/Ja1e55 EQ4WrH43KVXVoDkFBPpsJJrpCUZzA7nT9h/QpMVuspRiP+M2P6P1iT0az5CXlpgR+oQkBKvYcgapt 1aeO72AQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1hF-009EPz-4j@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:03:05 +0100
Source: coq-gappa
Architecture: source
Version: 1.5.2-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-gappa (1.5.2-5) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
ba9f2a46d422cd12a697b14a11b768ca27c2caaf 2073 coq-gappa_1.5.2-5.dsc
bd4e66b67a182c979b18d33fb66a25429e76e15a 2008 coq-gappa_1.5.2-5.debian.tar.xz
51c4473125ba057f040dae1cef4ad7441609a137 7523 coq-gappa_1.5.2-5_source.buildinfo
Checksums-Sha256:
c9c0a05168b874779a06e8807eeba35df96be2c007cb0ac2651ce7cb6dee4deb 2073 coq-gappa_1.5.2-5.dsc
6f74d633e84e9e4efd1b814b74cc06951dd825bdb14fc31a7987372ce4d98305 2008 coq-gappa_1.5.2-5.debian.tar.xz
50234b1b668e1b3b39431771771ca1335bee8ab8a699cce83448cc738ec47dcb 7523 coq-gappa_1.5.2-5_source.buildinfo
Files:
338cff75f579d7fc27afdf1113a98108 2073 math optional coq-gappa_1.5.2-5.dsc
e8afa5036be67bee1682a0ebdb738a51 2008 math optional coq-gappa_1.5.2-5.debian.tar.xz
afbf87a1ada7ac145e15ffb58e80bf64 7523 math optional coq-gappa_1.5.2-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGpUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQaAQAIScizN4Dq6Ea5PS3HL/gFBFeVVlEYXq
JfZhwsUlnlFphX2rF44GlETJE31JRi4S3YJ54DhIfz1LA/GtW8sN43oY1P8YO1ry
7mOC/0SUhWyowaunzv2iPENkuj0GNm3MEnnfAeFxexpxfRQCpRlK/iQOropl/WRn
7bPJoyVxWnQj/s+saNb11aQFUYXCaERbJD2gaq2zP7vzSO/v7dwiFIyGXVdkFXoM
6O43UWhgf74TtEEFflhP3udq+30JeveN7YGQAQWZb+z7CBgV+lvivQ27BMFtplga
FvJ4Ine5IpQGiz/s6mNIymkyFnGo3nCqPP1f0EPQdiF/UjuZ6ctjF2551h/9RfWh
o13Ll48B/McIHzg8rnHDzpHCcthdeOkHKpyYddfO6WKplRwC8TmPkgl+X2IKvSxL
ezTUjTXm2G8eZ5v38DOE/aFMjbm1B3KIg8DXJawI9cZ3Uvkf7ouZJO368xnukRTJ
EabSP0UdCv4G2GdXive7LcyKT/pK7AF1wlqm62IetaHjyOp15NrZO/lPyT3Ic/DM
ZXQd4qS4QMXsEeWITQBtVwULIUpgqHwuBPfZaAJzdTNF7IrIZ2Wxe5/Z0K3CKrQD
EiZhx44bT8vBC46spM6q6GfaNaYBCNhcpi/YMRgzHZXNj8mSjFHQY8UmLlNFTIrK
9tr6iUD1ojzH
=n1Z+
-----END PGP SIGNATURE-----