Accepted coq-elpi 1.13.0-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.13.0-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 16 Apr 2022 06:48:54 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=fsQ3T3yiLODapIYkbT3pa5JAAVu2QNGyvL+yU89OIDc=; b=kaovh8zPwEGteS3GkUwRw+HvjO TxJOp8wI59AHcY4afXDzmhaBYoSLH3oacyNeXhtJFOfr9zvpwaOr2cu/v5pA30lw2OL6WgQki8f45 t8LCRuQPTbqBMT0Xfth6761fqjljqPzOtGca9g5VrEbXvmpuYiHSX2fi1vFTbiRs9OlyI/nSV2HhX Dn3oadF9ay4W8NUhAoIFOwrVYHO33P54IEKYNS+PFum5k4IhNkMPqt6R5nhfPfQ7o8KybZ0FvNYXm ucBowUak+W0HGDa6/HyaUpr+P81Q/dMRwf7UJJtpbR2a65mF3LDvpM07LWAdWxJhtdbFjTpDQomSZ NcxY67Og==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nfcEo-000G5j-F2@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Apr 2022 08:32:16 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-6
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.13.0-6) unstable; urgency=medium
.
* Add depends on the Coq ABI to all binary packages.
Checksums-Sha1:
cbd96194ac236ae61749170993f836186f97854f 2146 coq-elpi_1.13.0-6.dsc
6cd11ec2c91a53ae65ba35b5c63989b0d66bad62 3032 coq-elpi_1.13.0-6.debian.tar.xz
c71269980f8d551bdd26e3a015385082899c7ee4 7157 coq-elpi_1.13.0-6_source.buildinfo
Checksums-Sha256:
f3abdbaf7c0ce9cccd5e08bf282cf594de8ca7beaf72af541c01955f0beeb685 2146 coq-elpi_1.13.0-6.dsc
4834d2d7c026b4f704543b296ea06489a978843606364b027e8d3405529ae2b8 3032 coq-elpi_1.13.0-6.debian.tar.xz
bc3926cfa33ff52948546ee3886dbd5c92465b04f839d66244f8c37569d266b5 7157 coq-elpi_1.13.0-6_source.buildinfo
Files:
be8488dfb750b857f79f22cc5b9bf426 2146 ocaml optional coq-elpi_1.13.0-6.dsc
17c1579e302056819deb7225604ee72e 3032 ocaml optional coq-elpi_1.13.0-6.debian.tar.xz
ca3a384b541d428f1bd506b8661d7176 7157 ocaml optional coq-elpi_1.13.0-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJaYyISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+NAQAJsvcwGKsSiog1BM4ReY5XrhaH1pxJZ5
ZDXtl7hfhd1ROvnM43NASvZv1vwVJQoVWQjQS05r5H9Rrq1k7TT+gwqXadcXotTh
He4dg612w342bWcF4eD1Sl6DFFqRZJ9tfyHE4eH+e8n4RUsyUSCUC6XfWcoQRPjM
hPe/OO5c0wfcu+RuSnZZCLuE0gvu9ZCWbBRStKy/yoATlTjTgldPSyzAUU+w2F0z
2NVyYIn0JIzeUeG6hfvrb++S3UM9KsNB2jawQcjx3noYJJbI3aokQst2DEeyTQ8+
GlZeEFaU9fMPYggFcd58oxn/ELxQZ7x8/gdokqT9p/YqjQGd8nGqT7Z2LZ9M7c7n
Io4fUSt0BP0aLi9gZYn1zFNH+ikFII8YQV0/aJi6DPn4/tu66qapv1u0cliFhPFm
5dd/uHpHFsJCbh5YV+WM+Iq7U5hIGDNSJCOrI8V1yq+kazbsx+vIc+4D1PSIsWwf
Z5JzGmSYvFfqLo+QvEAXoDU6TINa0UxEkFe5cT4BL54hXHO+zvpUDaarDFrBGajB
EoWyfHnCoS4hJKvzeXTd/ROGYkI/2MWK5G26zdpaTLPpW/xdTrIRlccfLubi2eyo
8AxIm+kLEPKptXHEvT4+6yqyjFg+3upcE69bXNmlJ0y7BSqSJomQQOG/XnhZK/Sr
r2CXmVSKNDMA
=dWyv
-----END PGP SIGNATURE-----