Accepted coq-elpi 1.16.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.16.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:05:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.16.0-2_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.16.0-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=4MHohX0ymKbZomxFgqH47VYKcIogQhocwedblPF6mjo=; b=fn1qWVtsXaNoUMBW4RgrtRHiyz bqIaFdnxGxnBRUUjtV+8w++Y2m6kC2VaUpPCMKAsdt+wtYomwAaCOquTciWY99n3zcnH294YmzjL8 JPnunwUxagG7VRdzCz6+lf4ITsf71dxw40wjnpHlyrld3dHUQk2YekMxAFuqVypWE4vMNLd+oIcNP jcrv4Iau8IksD8KzaRG1UfwD53nrH5I5SYpJlGr0SrXcKhPN+WbaC3/UP3NgEk2LcMn9HyVz3+dTz VyU1AgCjuEP+mdVDuqyKc1JgBLoBX8vc8KJivzDN9ilRbl6ltzun28zlhAFjGWRNqNjz3yyGR8xpn 8KwI4Njw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKZqR-002krU-1B@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:46:31 +0100
Source: coq-elpi
Architecture: source
Version: 1.16.0-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.16.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
06f70f5b81110608177bd75049f520f88eb42245 2030 coq-elpi_1.16.0-2.dsc
f9e3bf46f1c14ccdb7a87ad0e54bb0f53c3418ce 3412 coq-elpi_1.16.0-2.debian.tar.xz
8b137926e3fd4a091ca5666e4263fffe4860503e 7865 coq-elpi_1.16.0-2_source.buildinfo
Checksums-Sha256:
57e49b0b9bf7a032475994ab8cbbf914b7653042f6c908772989ca1a4621f93e 2030 coq-elpi_1.16.0-2.dsc
6f7d9746c758a91ca8d5a04571e0a77e919db8468f7c632f481379c4af09d0d1 3412 coq-elpi_1.16.0-2.debian.tar.xz
36c24ab9bf7b0c55b8e45b522631ad7cb182adac242834f1d89407c52a5ff7e1 7865 coq-elpi_1.16.0-2_source.buildinfo
Files:
4fd7b903bb86e8714388f11c9d36eda3 2030 ocaml optional coq-elpi_1.16.0-2.dsc
9f065e96760ef1865665140f54e9f4f3 3412 ocaml optional coq-elpi_1.16.0-2.debian.tar.xz
5b015598128f321e25f476d621f7b14c 7865 ocaml optional coq-elpi_1.16.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0GMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaxoP/jQi6rp02VzQmI+LGGZOBK1lniwzKsvb
ED/1olx6iuMPUZDgnDFsEesYjcr9iVw3hWor1Ocb/T6bC2BE9rRp0F4eU/1zbEgK
j4ii07iRf7B/FwphWdcBDJnCfVQhSCN4ca7lcR7+Is8i7cEg67BqkNQIlvj8OYKg
c0+uh1TseP5S7O8DRvLVFaQjmfx/IzlKQEd3IFzkjWT5A36XqZk9CqrpcG/ps7M1
Ehi7LQw5F6au3Nq1khktGGgJ216usXFUly/8nDOYpyuIxjhRvT1frlP/9l7OD3eT
90e1tZ/Fs1kIxay1I81i0ENPo8TvFme9OrlMqhiWQFGPoZM1S49votgmhTG2fb7V
ggnUxFNQ903lhar2UKS74zoAqQyNG6NWkg8izbRhlQi2IYX1CamDzo7JcZqSrbYX
EaSCOtcFv0hF+SsTYz8B34ZykHckUtDq6gJAXCABhUTfAc+gwJaSingxUzYJ5gtG
PiUpvojBWAG2nFgPesNpW0Zwb35s9ss0tKF5hAz/HMjCTwQfsUOaJrlWD4RSHblc
nCpKIa/DvBwqWvVmvFZFuTyhTElKjDMIxtzEGwv3Snx8JMgWrjdudvGNLv+XgfWc
UjexJdRRagXva5K5+1EUfp0JcPVtb1IGHl2cvJO+OODCwZmWNQTZfivPtNQ52sC8
dhk9VcwZrdPf
=7NaI
-----END PGP SIGNATURE-----