Accepted coq-elpi 1.14.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.14.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 12:19:31 +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=1xYhW8u++kDXZx2HnH86RTW//UGi4bveNaZkfzKyApg=; b=gMdGwKujR/w2SnuvRquHpS+nA5 DWs7ajhEixhmhoElkBvCnINlc7rBLuSjVC51MxnKKfS2d5U9VjGkw3llk6ET7gBUGXMbzo3LVrh8T NBYNfY7jAcGmxsOU1C09iJe3VqpFO9v0YhAzR1W0P/+YGV1MNTpu46c8d7lUtyDBUA95Vag9xajiO +bR/tPIn4tpwR810mq0mPW1iYeuidQS4XY6cmlY4+zR5NzpvQGPmsfwO/mjYKHUj81OT+53QOksXI xR3mP4AjB5QZXoGVLW2n7x6HHYwP9ebOMUugbc+Ok0HwwHmvkFNiLA/BymMuaC9YhA9QFBnsN3R+m o7ja4wTg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0MZ1-000Fli-8S@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 13:57:38 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-4
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.14.0-4) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
13119f0016ed9ae50df0e237043675cf4d6419f5 2165 coq-elpi_1.14.0-4.dsc
f8178a8cc9689c7986945aa74d2d9d962b568f4e 3188 coq-elpi_1.14.0-4.debian.tar.xz
bf321494c8e9d278ff63dfc0622636d2dde84481 7202 coq-elpi_1.14.0-4_source.buildinfo
Checksums-Sha256:
aa907415e7364ba9e728230e9c057a8d4338eb18fc2cdaef180aa4afd2a70fd1 2165 coq-elpi_1.14.0-4.dsc
65c8b6d069289af84111f24d93072f1305559e4d612a6d901640dcf1cb5253c1 3188 coq-elpi_1.14.0-4.debian.tar.xz
f2153a21b91e6ff0d1d6ba1d5515aeae63f02f344997dc076ee7330997250c77 7202 coq-elpi_1.14.0-4_source.buildinfo
Files:
cf98c8c3dd754dc05b2dfea8ac53f14a 2165 ocaml optional coq-elpi_1.14.0-4.dsc
d2304fc9e7994b6c02817d1286666157 3188 ocaml optional coq-elpi_1.14.0-4.debian.tar.xz
0aee7d056a8ad0a8965f867a9b5fd4ca 7202 ocaml optional coq-elpi_1.14.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1MkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGG0P/i0V6uk9DTBKTG3XO2c3SDH355NAAFIx
HegjxBe2ThpiYGwyOf6bLDUxqLi/I1M+WntPi+Za2V3WXLikyDoQE+S7TVT3h7Di
Ry35cOKf6Ar0V0ela5IlnSbqZV03mZk2f0P9x048k/Oogk1Qf7Zzr2OeryCgEq26
rISS+CrYReh2vwqpeI8S+xhrf8t8sV0VLHZT/Gt9zsMsvyptMwsLXt9AkH1tuzRa
EyDzNdTmVBP9g/SJORv9YBFI7a+vpkVk683Z5qHdhyE8ZT9Ew20u/oTG73lOeHvb
owxYMr+mZXV5hE9Qx/6vmqRlqcshh5PELYDxqh4o4wI1YCF3/FtdqZ5Ac5uXw6cl
lqUTK3Q3N81/D1Tmg1akb0l54RjNpbJVqJkfXpC+kbrQAKA6igVM+G/Bb7zWviXy
CjeFKQsbgmzzwXtgQWP0PugX6cf8c9ejGPcG77m/PXAMz69dDRsV+OHiZb/BTk/H
DCDxX8Eyxv0bKyaUeac3r/FpyR7BobBcc/D2nCBjUg3KW6aJVI3WFsN/hP5BrKuU
Df4eJjtevVjeSZ/hczEEgacBAmRiDQtIS8jK5xvwPNkDuJVjPcrfXCoF2PI78WN+
uXdc9n4TqZG2KPLvF5/XLw3T0JvvW2UF8DGQVaDfjMo91Leyn8A8FSG9230E3Q1d
MT96YhKZhhJQ
=5Ojl
-----END PGP SIGNATURE-----