Accepted coq-gappa 1.5.2-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-gappa 1.5.2-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:35:30 +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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=meptuL821lTbrdSIeVrYdqPQqPwkuDso59VazOzpaf8=; b=iH3/43I1d2M58txPlajVViFsfe OqLOVgrpqvR69pXCU7dVxeIiqg2Ha5+QYzP1m/5rV87qabNDciRV8j0uA9rjffXURQD9Y0tNLPevb Qt2kcWY+AWhN7UZ+3ysYVXJ3DBDsxwgCU/BLTd7SzrsCjy4fgWxa5RvH+9NqZUDZcX6Lv2JxyTnku XZ+aD/MKkv4P1QdZXH4Sep6xITuy1e11QwFave9VEcnd0jzgCjYhv+2k47mFypycHG6rLoMI5WaId v8GyPUatUCU/UNpAmaaMnyd6tUZ9BOxR0x919zOYBg7YI9c3ia3YaYMeokG+a+7F9kHLRmRHPFS8j iGIhWNYg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVUzS-00Dgyp-HQ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 22:29:45 +0200
Source: coq-gappa
Architecture: source
Version: 1.5.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-gappa (1.5.2-4) unstable; urgency=medium
.
* Fix the Vcs-* fields.
* Update for Coq 8.16.
Checksums-Sha1:
79a6d01cf0af568f5fc2be0254325f9843e90861 2068 coq-gappa_1.5.2-4.dsc
2ae017267efc2ee8f74685cc45235dbd149ea786 1952 coq-gappa_1.5.2-4.debian.tar.xz
3cbd0eda56dd973f451af850933ed9dbffa5fde3 7120 coq-gappa_1.5.2-4_source.buildinfo
Checksums-Sha256:
b3ac931c87f95d5fd838c6c30075315f7a438acd4ceebd77c8c5726f1e4fb830 2068 coq-gappa_1.5.2-4.dsc
c4387183aaad79da90a6a32804a7d790a0e79c65f4ff3d97c02396fdbb4c5403 1952 coq-gappa_1.5.2-4.debian.tar.xz
1821e42d1e69bd7740486386f8838ec4a21e87fe065b21f7801153ef45f49943 7120 coq-gappa_1.5.2-4_source.buildinfo
Files:
9f9f65307599af98875236e27aa96cf1 2068 math optional coq-gappa_1.5.2-4.dsc
22d8be9df660c8d92ea2683d828e8b88 1952 math optional coq-gappa_1.5.2-4.debian.tar.xz
f3b57b10ae713d8d4cbb88c1cc435ccd 7120 math optional coq-gappa_1.5.2-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXKoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa8MP/Ax++eRbSFWkPKl0t54gXAA9II/4acXr
CfQrHdhsbnvPAE8SQRLosR5OjM28jve1Ws4ZMZUVKYCsIPWJfBZQ0jBbdDjbFza0
JDmI0r5kw1jWsMfCx0SEcEdobodJBYOX/mnsmlHyECzlvSdj6keY4XPjKTDs6MQ9
EqCY8xGj957FwViHWakT+AKkHKYz1eJ/Wkbi033DytXqpWxHLMKUwFwiXtRV/b2g
fiiA863y3j/a76hYpl+FXYAbzgWrb7NzUDiPcI986naxSrL5heZ33SR+OkqllQLb
KUxz34JAfUhWNfutZQQiYBUE1bgXHMuU78Ntzvbqdz/ED1sZBlL1OiihiXjQh2f2
SryevGqfH2kHuWSOBSye67YXKa34xSmzazSCjcwwrdURKJ4R12OtHCLRq4wlkTpP
vNagNu+kdU3AMsk1IE8A7E9/rfMJJMNXfXuAGR6ixleHdN5DswdtP7T3Ny/00Ot5
mY+8wm8iN3FjXAwu7bSnrGDPj9mL//x2Lgiob7Lj3QnblI1XrRfxYU+fISTw/EPl
Eq4/QhqCvtLXlzbyJx7gzfMpX6tEnWaX4gOpmnnSHo1iZJ58U/nM7y2hkl20Wuo+
1vGjKV19GIwKWcjrG84dez0PnTFdfcfFQmI/oRrYMOyUBKk6Uf1tdZK7ERuOsdWZ
1MumN76y/Y2y
=Jxdv
-----END PGP SIGNATURE-----