Accepted coq-equations 1.3-8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:09 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-equations_1.3-8.18-1_source.changes
- Debian-source: coq-equations
- Debian-suite: unstable
- Debian-version: 1.3-8.18-1
- 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=HWTo5esNqk/qiNDCqkr82gf10pzbOLIJT64k8qLvLL8=; b=R81Qaj5B1wBC89TRWdNShlLqrr DhZE0iXYLvyCWiC44us6LJ1BLZ7eztWocNTKnOJWqKyN3/8nkS0kpY8tgYDvTF7OiuZQN8f11urud jcQ5cmB8GqHs8iaw24ejxIeX0/Ymn33H8OVqupWTPdLGcFMJ/+lhGijm1HnaJrXVWq8G0DA/N1HUU y/cMzATDZ0QJmFF2XS/VekRNV5bgRdS/d57PHUYNi3POZd1HIwVJRqdr/KzUwmNC9prF3h6gYDx4j y9cGjDK+vPMAv7piITOLCQIecpP5ZiN4z/iC0CgTg9/mVP91ZrTbwElvZfY2EueHr+yyaAd+ZOROT Nz0dMRpA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH029-002PzN-2d@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:56:02 +0100
Source: coq-equations
Architecture: source
Version: 1.3-8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-equations (1.3-8.18-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
789b6bfd87313c8d8e455159e9a730ef46066622 2166 coq-equations_1.3-8.18-1.dsc
eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz
c8a27490eff7954aeb6f1082584fcf8dd08f376f 2640 coq-equations_1.3-8.18-1.debian.tar.xz
2f7da0a27d974210f478d1225aeb77f5c6aaaae7 7926 coq-equations_1.3-8.18-1_source.buildinfo
Checksums-Sha256:
490426e6920917ffa023eae8d6435e28218cc1a00d8b40ef3dcdcdf6846ecd3b 2166 coq-equations_1.3-8.18-1.dsc
4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
254af7ff18c2220d3e08242f2ab1891be83abc0a09f65a69a64994eb6214ddb7 2640 coq-equations_1.3-8.18-1.debian.tar.xz
99dea3608fa64bd90cacf8ff0f06c9040af5cce6aa258120fbb41ce597cf4f2b 7926 coq-equations_1.3-8.18-1_source.buildinfo
Files:
efdca388079b103f7657954d909a9c1d 2166 ocaml optional coq-equations_1.3-8.18-1.dsc
1a2bada154ceed57fe493b9180f73f50 1102730 ocaml optional coq-equations_1.3-8.18.orig.tar.gz
7c0812d459bb461cdddf8a09ece5db1d 2640 ocaml optional coq-equations_1.3-8.18-1.debian.tar.xz
601f8171e07123f864d748599fdf4dc8 7926 ocaml optional coq-equations_1.3-8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYG0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRP44P/2XgwHoniXoKWaweuGOK71ZWjRQQFXZN
sqSLiSEHdHWO/pA0MOhXfIOA+NPXKt8BzPw6wKvK1bGW7Q3/tGZhI7HNFuwCA9/P
teZvutpjiJIBHpY4FurN5EckEyzzpdPpnpqwd99ng2vNCKOucVkgF3Irf5mczEcQ
zEjaeSdonCcpEP0WXc70ixYy9XqDW5JNpkRu0FNaq8L+pKZ743iZrT+53M1mXTZ9
b1lTj+7dol5Z8nlxJoPgqHlpKsgdpAe+YWiRyPbSvDR0uChcjbRXvoEtu3zlnRW+
MWvWQqYoA9Jboj/Hffv0FVilBxYA/I1Z6Hi2UYOp5+A0p1owFspfnbSQXPAKdDAZ
7uTPLjAWdk7JeP4ZsPEoj5j6KywmxnvuOpvhMpx615ytD6Vioh+mkb6ET44Z1bJt
PLxejWNZXavpOEyXVx/7rSRlMjnIP1jNZGlEwp90wColphUgp2JTuAjZMgrjRAG0
/DNN6K4uW/tk/p6kqyxfss9JOdBGL1jNw1nK2InzboWlL+kjJdg9Vl/iWvamjQ2S
3/Wa3qZR9P6Z0YwaVABoU4cmOyUtduCCuh/WeoSUBNmN56B2d8oMQZ7YLDQMe9yW
0pHaAqyHWOPWr4K2qWALSXx1G5Hc67WTQiNI59ENk7sykkHpnZUlCuLzWb1Fpkms
wq6yZg0tQ5BP
=Cz+x
-----END PGP SIGNATURE-----