Accepted coq-gappa 1.5.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-gappa 1.5.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:05:15 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-gappa_1.5.3-1_source.changes
- Debian-source: coq-gappa
- Debian-suite: unstable
- Debian-version: 1.5.3-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=Swu+j8OtUlKwJZGLEbNkPtf49eXWJW5FrhWm/PGspdQ=; b=FOJNb//eGc5oSBVl8Y3Ol+f27e dgpbhSAcHzTmN74SfNzFJt/eH7XQlpP+Dvo09HablRQZFEeeQ6UfAFc/rvqCvTH/o1zVHCCDT2soe Fs3Ds4uhq1iLfpQcGUgziXUSEiHVmbsW/9xTpqzLOZWcGEYJt2w4E6dObWkEJytRRcTNoEzypfnxF 1BJZKhZ5cVj36g486WsgXhdnSOWUCgB1Ogq0Qh7JJDX7jWnNEaXsnM3/TG36QjjDCChVpW3X3/c0e DZwyTGhpsKFId3XJ/VFNKE5BgSIEYD78ghG5IRwkD0azf/doIg5a7u6o4yNxk5laFKLxolLa08XGN kGQzID6g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8x9X-001joL-N1@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:05:53 +0200
Source: coq-gappa
Architecture: source
Version: 1.5.3-1
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.3-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
7cbd167586fe547b1679cab2e560048117d92e8c 2073 coq-gappa_1.5.3-1.dsc
924dd48b2fa85b63bf46869ea256fabf6b0f12ba 73583 coq-gappa_1.5.3.orig.tar.bz2
8fb0686d9c3d0d732afea52797834a1d68d56321 2048 coq-gappa_1.5.3-1.debian.tar.xz
0ac3a67a506ce5388e14123545d52e8eb768bd0d 7472 coq-gappa_1.5.3-1_source.buildinfo
Checksums-Sha256:
41a703cff1a9628568f9ebc38a63ffd35cb7a891989e066735793bea68f9fee5 2073 coq-gappa_1.5.3-1.dsc
edb3cb86bc15fe80b82e665811780ec0cf2bf3f19563707b22c765b1cb8d8c8e 73583 coq-gappa_1.5.3.orig.tar.bz2
523b99c5758d998e414d9525d326f6e2792deb22199777347e017479d66a7130 2048 coq-gappa_1.5.3-1.debian.tar.xz
fdade3efb99dda0793efae4eb1dc32c4d913971ac7c2eba44810db5b1a37ece3 7472 coq-gappa_1.5.3-1_source.buildinfo
Files:
d3beb864f38e227f5542c87dc798325e 2073 math optional coq-gappa_1.5.3-1.dsc
d502efa84cb86877706afeb45c5c0250 73583 math optional coq-gappa_1.5.3.orig.tar.bz2
8f40adf0ada4b369a1accb75cc2be881 2048 math optional coq-gappa_1.5.3-1.debian.tar.xz
f75c2631306fe570b1e60f2bfc61b772 7472 math optional coq-gappa_1.5.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+WISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhBsP/1vn59DJ96Hui3nXsItZADU3q8Jk7WZ7
JholXtZUxrzv58Qtryaei5IrS2k/dr4chTc/IbeLEcu4YKuxCjyc6pGcfCpoEsPd
Yyam8ACfoGreji74i5jv5WLgOp9mOIonwC34DwkKH6LezWjdJE65+yJWG37KRy30
WXYaBe0ft4mJzNA+WPEDFXSSv1Pu5+yVtoMTBSvYfkZFCLMPTsf2K/fR6bTdRI4O
djgVchNP7m99VWUt2zrQ7vOJy5c8GBSK/E7JdbU5/LWBIjxWvVBSIC/+1JnqzXBT
ZmtZmiBQ8+qihQxLdXa07chDGbG7uaJ9r4gzKbAPS7KTfflsbhR1AMJkkyhmwH0x
CIkzayYUnrNKCxBA3ejJpw5vXAPYlw94WSIV63+tbVQTSpyh7aKaCLRqzeZ8dKcJ
6y9eAZCoGfUZs45WjIoHTApcl1TXDskLe2Sa5UtbUai3ZIVzjHyytzvrNfOJWNpZ
97B+8xqCyvRkg1si+rhBlARHGEqtl6Bgq5S+CXT2+gFW9g1wpSVK6SZBi3MgrzE1
yub+dQrVaDzhNPP+l0stNCho9tWgJrsY+WF/IOkK4NI1nATdzTP7tFiPyvuhd/Fm
y+72Z9UrwiaNCeiW/pUxV4wZTur/LmbUezlgoKCeRG1E5XkxpniTfzOXChpP+2gI
JCoryvH5yhXZ
=LyDD
-----END PGP SIGNATURE-----