Accepted coq-elpi 1.14.0-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.14.0-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 18:35: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=bd+iBN+cOIT6ppgOi79keRhzxXAOpRHBKx+kMiarm+s=; b=Ir6d2kAdfYPYUky6hka1q8kMEG /XElMbQK20da9AvENWxXNgie6uzs/UNqoRZb0NwXBBYZuQYjfwXQfCDuncwefmewfixlcVOysF53P zHV7/kuoScL9c79AoZhU3esAurfgZnE7evfBJZBILUr6zlbXcAgXzAJvMOnWjWDs1M6g/udkjALVA HTu+7sN6KUhA4uaHZesEHFCK9V72dvi2Rtuxrgl7eHZqEp1gw7Dk+abUvNFhWI3fcvfJJ2T2Sjdzd opFiYxa1PLZN5r+rY3tofPEz/vKxhDBoTAiyCG7crzVG/CoDsoA7RLevMmdALLaSmek6K7KjRztfk VnLuqJcA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0SRG-00095C-8N@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 20:11:07 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-5
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-5) unstable; urgency=medium
.
* Fix the deps which make the packages uninstallable.
Checksums-Sha1:
24be8bb2ed0e6d1c58c05ca7ecf4cddc3ecc73e1 2165 coq-elpi_1.14.0-5.dsc
f4ea7d9391555ec00334990f8b91a6d3cc9465fe 3208 coq-elpi_1.14.0-5.debian.tar.xz
c9cb14c8ac9e35a50d437ca07ed31d4043ee5022 7202 coq-elpi_1.14.0-5_source.buildinfo
Checksums-Sha256:
0bec08679bdd14163917495aa5f3e09d9e7dc94259164b4cbcbfea81970d88d8 2165 coq-elpi_1.14.0-5.dsc
3ce6b41f6e293c0d53a6a1a6ee4a93d766a83042f6d5054e8e57ee03d9c68bb1 3208 coq-elpi_1.14.0-5.debian.tar.xz
a81cf9e36d5c8583c3de0a8b34aa0a74f62cf5b1862c6291e810595d668cd639 7202 coq-elpi_1.14.0-5_source.buildinfo
Files:
b6e0eeaa59698e033f657a3d698eb669 2165 ocaml optional coq-elpi_1.14.0-5.dsc
270f22386587fda66e4980a0f4137044 3208 ocaml optional coq-elpi_1.14.0-5.debian.tar.xz
64ae75dab71a5779e5f8071840919385 7202 ocaml optional coq-elpi_1.14.0-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLFcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNF0QAJwgHaR4sKI+mjxjLeL9wvUPelxpyhBi
03ajF7/Ovc8LMiu2MesH1sV/ghYjcs7IdLlU79pAYQiEa43bGSFl/c8OsccnLFjd
zhbyoa6HVLj31N4zItHYnezoLKkgjmvtxc+AG+cJdsdeCt+ku1Tern+S4FwHue+2
iHZG1wuvIGxOYG5LKpGp7FrDOWx/Fa6aBYrh0VaOlg3cK2XkdkF/w9p4rdES1OFW
heZH7sQpi/+OkTMyW4O6uCz9Rt43BvOqEytvT1XF58d1YQkK+Gx9V4lZQXFC/gmg
g5u9cDP7ZZ7AhAP51DQxBEC/jI2hdpCR2ByeBPXPJVInv3B/jjDCW/X/mrb3uF+s
CDY+0Kzf5tJVQvah6sWoZmYtVCz1vOX2EwN7EsaLxpRPYLJqcAt1Cy5goro23TwT
HpSw7c/SlP2Mawi1lqIVsULPgp1zgkak9VF5Dqw2mkN+dtQ+uckYdc/z4NdkMRzn
z7uyl0Mbdm5IGwZQTXYjAr/DCZi5oa1gGvCwNhy2Q4xMRkJKQPJSsiy0T7r1Utbf
wFCJKXqzQ042Bq51v+WWDCYqkzkktYHAofznaiWLKe6hES1sDbQg4WV+rS98ZOsC
yRJ1HZJEcn1jlzfFvDhgfNoS6nHdXQWpMYbV/wyNRK+Y47XEfbKvwYX1lBYFIAWg
Rj9gb7rQBlKz
=SMX+
-----END PGP SIGNATURE-----