Accepted coq-elpi 1.15.6-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.15.6-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 25 Oct 2022 19:49:09 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.15.6-2_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.15.6-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=fQ5IjEEinOzqI/2FR74uGw3d2iOpFjeaahLnA6i+r4E=; b=kFilArnK95zQOxFr7EDDTe+N17 Rj4vquayjECpaYTvn5rG8BRlMSMtnVDOQMjWFMxw/EE+rhWgBptF5FNjJnSFacdpOdXWdHJXfX4KG rcUN4VxDZUtvrY8WXmLAGSriIOICW/O6B+0/4cCQMUqAbYlPpS37rCqMbDiCwhmsaPJjH9simMtTR 5/OgMV9vYFoGDm8ynx2paE8xjN2l/URoU8SnrhzoLNBUyLwn7/qLbi6rl63AveTDoVRUUP2s/HU9/ lT1j64VNVGX2YG62irMhRUz11a7WLaQ9WMuj7a3EAgNQRueM+dVhZFztRT+7q0YvMbiSvkkKtKVtJ QRJMiYVg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1onPvB-00AWp7-UD@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 25 Oct 2022 21:25:22 +0200
Source: coq-elpi
Architecture: source
Version: 1.15.6-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.15.6-2) unstable; urgency=medium
.
* Rebuild because of new elpi.
Checksums-Sha1:
cec5b31ca697bb93ec2323c55eb25b7bbf5a1b18 2025 coq-elpi_1.15.6-2.dsc
641c8b3689c8d2a0c48aabffbd90358b76851aa9 3256 coq-elpi_1.15.6-2.debian.tar.xz
79b979bdffd16dade70a6f84089d18e37f05f274 7979 coq-elpi_1.15.6-2_source.buildinfo
Checksums-Sha256:
bb2fdae60522bd1693175652754d9181391fe82de60b938a3be0ecb2d1cd2d37 2025 coq-elpi_1.15.6-2.dsc
bbdfc46c86c265b2c2e95cf79bd57bae8c80455330dd7510962a2828dfbc33e9 3256 coq-elpi_1.15.6-2.debian.tar.xz
ee8ed326932dcb477cc02d1bce5a42b6131e7bcded8ee1229a67a1acc62be8d5 7979 coq-elpi_1.15.6-2_source.buildinfo
Files:
14c8ca8871d594af5baade7b9b647b1e 2025 ocaml optional coq-elpi_1.15.6-2.dsc
05f111bce3b5fada02819b5c05a7042f 3256 ocaml optional coq-elpi_1.15.6-2.debian.tar.xz
95fc1e56633f7732d5d6c7e41bc00b20 7979 ocaml optional coq-elpi_1.15.6-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNYOEISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRclAP/R9iCid/MloPlPMvGprOVMqWAmjuoX14
A6h8Jh3HFMPbys/ugq+ubhp/eECYraJjmGwP92bnCpJ+FsX9dj+ajsYSO9SdcXTS
alppmynn/YU+rJ8b0M8y23VkCot/CilhN35nm1ZwXHZoCypjQTJz+Sjut33lphNI
A1pcrhfiB8wXYM9u6aDk0qlBqhhzUuajdTJRccbLgND8jy6QP89U7A3buAwA/Vs4
dmch2LsLThWhy53OS5KIbRiRZc+3SaUAUW7cQ3d2WpBxeyQ1HlVZiBdn5adapCu9
eGRcIVPp13rv6sEOAGLWAIpdMpSZEiCckmmMlhw/A57xu/Axq/CkfQJpizFr+4zF
36DxRM7ACW0r+hN8KMxSnWQLMeYgKjEuRqQKkXcg25+HWG9tXmyN99gcfIW50DL0
t5EF9Jz0q4Akoz35f1Zorjp20+U+GnjNdrufmaE+4l6GLEbQEGLCvlpvE2pOOMjY
KUm9aUFTgP6GEDmhFx0J4Y/mwNSCP/lXfSRuZ5sc5JPHKZsuWR0xU6q9No+O7wh9
twvuk4Xa1W63l/ygWVcZTG4k/a3rG2LHor21Y4NEgFhgJmSOzcTjITz4LmanVHa8
UivO5+XCZynu2HTQyObzzQeFckDl8xyOMSTKYc4uxX50ZIhsODr5E1dr7aXZmT8d
QX/5ovloUggZ
=+3bO
-----END PGP SIGNATURE-----