Accepted coq-gappa 1.5.4-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-gappa 1.5.4-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:17 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-gappa_1.5.4-1_source.changes
- Debian-source: coq-gappa
- Debian-suite: unstable
- Debian-version: 1.5.4-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=KvZ35KLHs91BM78f2Wisab1ZE9PIp33WkVR6NFt+mp4=; b=D0KrDKuNH5kgxd8Nfh28Ty0Duu ScLSC3CnwOAoLmLQvkys8eAX62/3UQ0C65JKkMfULxBZ0XSEkecStTa9nbpl4agbAEqElTBW/RzAu S8y4ljbLfvxfndC0+v0sYePuXEQvzQk4QMOEp8beU/+NgNsnoLJyq+ANRKZN0Qhx6Ebb1KBeiWpa9 jxkKUPS21IC2ihYFK03iA+tBxRdxtgPn0nx96HR3emL9tF6VOMvmBMJFqnUpk0rhsyL7btPzpFTMZ 6HSVLocXDuTvrXnc5NRJzPQoGPOZD0G/LjfmSaGKCfBihpG0yD5EKihmb/gsRjhfhu2Gmt9NDrZYm uc7vfD6w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH02H-002Q12-Th@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:58:02 +0100
Source: coq-gappa
Architecture: source
Version: 1.5.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044944
Changes:
coq-gappa (1.5.4-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044944).
* New upstream release.
Checksums-Sha1:
2a3ef4f708a794beaa0210fbd930ac758e966891 2073 coq-gappa_1.5.4-1.dsc
236e88f09e3ad0c3c423416cafa8b286f3679e2e 73571 coq-gappa_1.5.4.orig.tar.bz2
d4e1a5f69b1d24c81dabd3406f5e8cb48b1544bc 2196 coq-gappa_1.5.4-1.debian.tar.xz
f210d372374997319471424354dc2540744edd22 7975 coq-gappa_1.5.4-1_source.buildinfo
Checksums-Sha256:
91389525e78177c15ba00e36d14cf7148dd28eea858eeaac8e87717028d916a4 2073 coq-gappa_1.5.4-1.dsc
544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f 73571 coq-gappa_1.5.4.orig.tar.bz2
bcdb899eb3a8b80d6155fbb41b69f09671a3e3d7071876c705af6f4aa93e48c3 2196 coq-gappa_1.5.4-1.debian.tar.xz
1551ff8fdce7a9b1d7e351fc2acb67b84cf79be6d5d381d846a5b99b85fb63bb 7975 coq-gappa_1.5.4-1_source.buildinfo
Files:
880a1585cff2a2ffb80575b077f5189d 2073 math optional coq-gappa_1.5.4-1.dsc
a4dd81d9c28e0382d09a3417b4c93d08 73571 math optional coq-gappa_1.5.4.orig.tar.bz2
e9b1cee569989f47a55e52118bb6f422 2196 math optional coq-gappa_1.5.4-1.debian.tar.xz
9347c988034b7b69492a93a706104e95 7975 math optional coq-gappa_1.5.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYJwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReSMQAIrbaGfhTeVnNtUpXFAKorzaNsaugSYy
Wj6r7EiRkeVK7zuTVUNJ83DtiAtTLS851qX5mgmz+Tvf7tihlpR01NJ8Fb4XYujE
MYUcSnY5H3btXYt3nc/9Zis6s7sLl+IBckXDddYHaqun2QTVOTNUGMj7P69LeIB1
1x9pL1kqIpA1bI7hY92UWhKAr+Nc3JmIAeSt7AsI4zE1qEtyB/Ow4NXD/dfU+wMd
Qdgl8RXZdanVTRuiZrfUkbIcVt0ZPX1ONxa4+3R7vVbRZhzrMncZg5eErPrSM0sS
i+GwiHNNUV8KDSqOyEkCNPXPU0KStMx0HXfmYbMohMaIfTIM0yOFdC3xgcpODopW
vdUyHTDwbz3xbYjFyAH6NaImMLhxLwF28/0gVyalXQvXZTUyT/8UrSJ+XZPFmqLn
9QEWyJoNwJ2zGBpKz8SBb/DPsSP0H+TfCW+u+IJmbhhwCD+y7RWdU+JwgnldjNZJ
jGh3SUXZCmUfGmlRFdOndxcg1JypPpTdPPQkLDYuyMYg5atwR4Y/Kz1XbSKlSdnu
QgF5fAFALQbib4+iaB2BTEfM45omQqgyD/DwSY8qOva8XNHqbl8r7clM6BSgJKVM
PXBFlwuEcgRA1oT8EiPRSvD/QwdQRI08xFBieD9X/RmPb5OxLmLhYU2D8BaVj4BQ
YK0wW8H7YmPp
=nYXS
-----END PGP SIGNATURE-----