Accepted coq-libhyps 2.0.8-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-libhyps 2.0.8-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:35:41 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-libhyps_2.0.8-1_source.changes
- Debian-source: coq-libhyps
- Debian-suite: unstable
- Debian-version: 2.0.8-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=cSUfUSbO2vP519edyccotUFIAcXwU1r7/kKH5ozDoVA=; b=H7LEjFvrHS0DatzbAj5dsZG90i ltqZeMUoj+z3U9CYvLlJXUeMVH7jKncE2YSQaCbMVhJbshCLn3hKon2K5231gvM0eh++4v5D1CZ4b BLA/QT6cmAwBbKpKS5WCGkw3W5cXWoJ1MPoqb3fMBYqhq4or6IXQ3xtHrIw76b2sm2QIpYsHgIleD ogJ9b9w5NHb7LQxCPOFaDs0BraqPsJpifUgN7jSFGCsAErbWgdScFKSepwsg4Jgr79LT1C0PHLVet Q55zEiBzJIzCM0p077levXo4iEpJZNFdU0gPu28DtRZNnh32UQfa9AmSRkzIxSfATiVeusaJDkW8r S4pJ5luA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcsX-00DSjq-K0@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:39:56 +0100
Source: coq-libhyps
Architecture: source
Version: 2.0.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044177
Changes:
coq-libhyps (2.0.8-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044177).
* Package new upstream.
Checksums-Sha1:
15656a1918c594603c9c4b9922a2f474086165a5 2072 coq-libhyps_2.0.8-1.dsc
f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
d0b419aa87c3fcfc9be7b66fb23b7686bf367f8e 2080 coq-libhyps_2.0.8-1.debian.tar.xz
2e757fe2617c35594ada17f151ed42e0a3951c1b 7840 coq-libhyps_2.0.8-1_source.buildinfo
Checksums-Sha256:
e7f6c1dd6bcfb9ce7c3774c5e042c0372ad29dd0e5adcc0d8976a8ad8030ea2f 2072 coq-libhyps_2.0.8-1.dsc
e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
4b40558f6b690e543b3cfc158cc4cf8af0d88249c23dcc14b808105f8a7a4551 2080 coq-libhyps_2.0.8-1.debian.tar.xz
d82190cbed7e6731c8c1478a637e1f0f23dda71fe6e17cb696274ff9aff99ad8 7840 coq-libhyps_2.0.8-1_source.buildinfo
Files:
1295802dc3f0287a32cde784485b2680 2072 ocaml optional coq-libhyps_2.0.8-1.dsc
ca5263992fcd5f55211991f55a2d3c73 37247 ocaml optional coq-libhyps_2.0.8.orig.tar.gz
619bc147226ede968c2b3b5b899f570c 2080 ocaml optional coq-libhyps_2.0.8-1.debian.tar.xz
e5894bdbdef5151591c3d0deecee0150 7840 ocaml optional coq-libhyps_2.0.8-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETl0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpAYQAKWX2UHEevbmIkeYvwKSKRFe5a9+rd5R
YlWTKrM2CScIDyeDypyuV/REk7fqr8/NO9HahvFQn23CNBiyUeBzNsFwO/VnNNY6
o14Fd4ibwoKqsmN/GfrhgarCxPhTNKnXhnzvgtah7lzEgkuw+SHCft5GZkQr3pAo
52YEEE5P+1AbEjEX1gw4AkFwAEFOPtX+/PrTFgCP72HaBXIh3IUFPF963I3vgINc
yoahdNmfAQCsDr8MNmRkIdR/GNAU8O+eU2G9KLP1pyfCXqmyn0jZeHincZUvbGvo
XYMPHY2EZ8h9UuBACz+YIJOstLrEzHUi8YS2Sid7egOPbsAbEU2UeTC0fc5/eNGD
HG9YZNBp89yeDVeNsY34G48RpL78cWVCDJsyQsRHLdDps5OgooMU8pMG6tiRa6K8
nyirUspquEZ1dWC+jMSkkELh/U/nnn3//DjIDVEPZn6Qbjh8WHY1YqnB/1/FMFmn
ytRDhSLG5JbjFKdF3digyXcBSTDKwbtbboOz/ZINaiK0mKUGGxQtLuvtY17ATJUE
yulNJ2chaiVka6Hnn0Tm3Fo8QaWvZ9SkiWjfpXVpzNAxljgrjE4AoKHVLokwAu8M
hCLgD9MCF3CcvNwL+gBkP/A5qyC9QHeUtcyYA+PDT7mo09ox7chVJZwKoRbLvmaq
65381EZyaXzu
=If3h
-----END PGP SIGNATURE-----