Back to coq-gappa PTS page

Accepted coq-gappa 1.5.5-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq-gappa 1.5.5-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 28 Apr 2024 14:35:28 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq-gappa_1.5.5-1_source.changes
Debian-source: coq-gappa
Debian-suite: unstable
Debian-version: 1.5.5-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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=03zMw5sMh0aIjQX7hIf2n7+OmEFcb+uwA8ygq6OOxxs=; b=fAn5ZR/QT7qMUdAoxlZd+r5Apq whLaTym+r2DsmOQRlqhTDzF1rrQdKmdiLvCgU3Chx/s9Z9YxLavASs9NtQGLeckJLIMoSqS8+exKl l37AwHZZTgvuC9svbCasTYsgSL4ReAvDMFc4W2KgPk4QxVSexf3zTHDXiNM9ZF/dn7oAbmH2gJLuB tIxC5E8cYggjB/U5E/0bl9JlIDliZME1VwCEo0bEUgzc5n5Z/QFO2Uj6BxWiNMc+a5+AOwsoYaPqh fZsurk0ormSfmG6k1Sn0o7B3VsFFZfrD8ireAqWJoUzVmdIwxTmcQSrE2rkR8v3l+SzFyRiW67BF9 Ak47FO4g==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s15cm-00HHvY-1u@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 26 Apr 2024 15:53:48 +0200
Source: coq-gappa
Architecture: source
Version: 1.5.5-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.5-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 b8700ca1439d1b7ecef891e2dbacc3b82a79e261 2073 coq-gappa_1.5.5-1.dsc
 a51d09d7080db15646e0183a35da5247f372ee26 73595 coq-gappa_1.5.5.orig.tar.bz2
 008e18f5e62a2bcc4e6ab02c160e3456506d60ae 2212 coq-gappa_1.5.5-1.debian.tar.xz
 553fc1622ef91b964a7a7c90468550e6fe047aac 8261 coq-gappa_1.5.5-1_source.buildinfo
Checksums-Sha256:
 58d4a1172dab704db8eadfa33d7421dabef210e69f5e11ff4dc12c8bdad1cef9 2073 coq-gappa_1.5.5-1.dsc
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 c4393b76c29f2a5457e6be005fc0d86463044be27daa80f9fb3dc267c73cf10c 2212 coq-gappa_1.5.5-1.debian.tar.xz
 724847d4767a9074fe7ec6862caec396f11394b8a0ad26b7df8dc4163dfcaf1c 8261 coq-gappa_1.5.5-1_source.buildinfo
Files:
 caae7abb183950e6ff34528fa9b2cbc5 2073 math optional coq-gappa_1.5.5-1.dsc
 eb267ad716104e8da16998d5bee08042 73595 math optional coq-gappa_1.5.5.orig.tar.bz2
 07f77ee99d206037d98c4c0d7bc3f0a2 2212 math optional coq-gappa_1.5.5-1.debian.tar.xz
 4726021fd72ac6e990b903b4c3cc7c06 8261 math optional coq-gappa_1.5.5-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrshsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIMsP/08kbMsJeFkIkS/si4bEM12x+6fzto57
o94bwGQ5cgweg7h2CkmAjSOcKDlAxK9u24W77GGqhkPw/bO8o9DYWqP53LCV/zDm
0LLuPDSv/fDWkwpfXvSo3oyC7+CxKFuo5cQtStJtJ5WucZwpe5EaFHZdMy51o2yt
H9jWvcKMxI0t9fVV+UCmQ0e+1ZQMrzVwGqbvot4kpnk9nAhfnsY+tozuzGRrraej
weA55x5HLYIfqFniImktFbsSzzJ4rNE6sISuev9p6bzHwbGtEuG11j/SYomKyUB0
LZYBEBf0uI73Q3UIGdkJMbZr8VheRUByQOqRc0WCuPpYIJYARxCeKt5KnvIk1fKm
U6GOl/TVkKAR3tzFa+JOXb+iWSrld8mw5qTozAaMqMBmkOJfL5SLkDYTdjIH4dMG
QLEkUFy9s5elbUpMmSRvfR3G2P9kkLZFNgCFENrMjRuX5zem+cAQq5Sx1aQPAiTG
cuT5NhvU8PDl5IGkBI4oDiRAZ10I8bwj2APNAPnvcO4DkLNfwAuUUR46JHy8/9lA
r2BHJ3PMWAdkvRCKnLwVdnd2pot6X6bVA3xN7YiDv6xOi/ntm5A1EUxcxDQWoOfa
/owpIr5NqzbwrWt3lerI+RacQPNVlfT0BPSk0a3OOYlZJuU5E99q4rxZ8NFUt2aJ
FJ7snY6+8aye
=I4NZ
-----END PGP SIGNATURE-----

Attachment: pgpX7io2SK8Cg.pgp
Description: PGP signature