Accepted coq-extructures 0.4.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-extructures 0.4.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 26 Dec 2023 11:34:02 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-extructures_0.4.0-1_source.changes
- Debian-source: coq-extructures
- Debian-suite: unstable
- Debian-version: 0.4.0-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=HGEr3U+VmrDX+DDdfr0XAwiG4oQtA1pgXGKqzpso704=; b=K9IecU5ONfjKlss8J0MMFFECH4 BS/O3pKu6ROeIUzYUeiVj4613Ke8sM587BOAhHUuS4e0ocSN7wnGMmdNo2ExMyMbcWfSHpcmfo/NV LMDVZEoRVuRC9tg4Cq0jkX5k80dvZkdB4ucHe796LAg4/WW1gQlMMnhbSsvhUANBYEzZyQHr2QXqI DHObxOdM4i6c3dILXLqMkFVI39tCkTVr0W27uh9loXyi7U5wmvY69r4AdJENNzZor46Dz/snNjj6w Ci2raFOx1ZeTpNXN8G+Dk3OMEv4g6q6umUK79aAPVLLgE1YoIQGJsMdqYxm2fQ7r0iLQd+ogRUocD IvDkbRvQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rI5hC-003LyV-2I@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:31:46 +0100
Source: coq-extructures
Architecture: source
Version: 0.4.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044466
Changes:
coq-extructures (0.4.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Set upstream metadata fields: Repository-Browse
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044466).
* New upstream release.
Checksums-Sha1:
8f1187689e739670617de236bba9dd6558165be8 2166 coq-extructures_0.4.0-1.dsc
ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
99a38662ba2716d41a1e7759a500ca9a262e6d59 2208 coq-extructures_0.4.0-1.debian.tar.xz
f7bfb9608aa4cb4b2e0a49ed897be06da2eae663 8484 coq-extructures_0.4.0-1_source.buildinfo
Checksums-Sha256:
5e467e8061da23597e454de9f3aad7af369c28ee135265c0387cdec225e93239 2166 coq-extructures_0.4.0-1.dsc
c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
c2cb1f5dc082e8022b0e70b0b9185a1b22354a61eaf0e1635eabee5465c69752 2208 coq-extructures_0.4.0-1.debian.tar.xz
647ed4e905c10b23b680a0b9ebf086c84648adbd4551e1c92e34bb58700fbb2f 8484 coq-extructures_0.4.0-1_source.buildinfo
Files:
427b2fb0f6f926cd75df354c95d083dc 2166 ocaml optional coq-extructures_0.4.0-1.dsc
d31c4523f3bf48ec76e65212f0888b70 42179 ocaml optional coq-extructures_0.4.0.orig.tar.gz
801e8a45eb1a1cc561e461133c567475 2208 ocaml optional coq-extructures_0.4.0-1.debian.tar.xz
576295b7d05b3c8db4561521db8a5117 8484 ocaml optional coq-extructures_0.4.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZa8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRT9IP/RKk5RlquT2YN9YaRqDXEvZt5BpaRT3y
4sgk/T6P95p7C97H+U9xRFh/mOPl2bvS0ejCxq8MeK4RlI9PO+TbKjTPHeXViyhn
m7uVVKQSXJq7Ymh+Z9Gu83U3kNnzbrTdF+eOVIG1dZ10td+4Nx7DTKr6+t4nYsn7
qgDL5yPSmbo0XrWbTIpAwJLJliX6PrZRTs+MUbPUaQI7BxzdSBBG5Vunj3gdf+1q
TL1GWXNVZMCAXVTPUF+0hZfKSMtNwqgSPlEmfinxw9FOrwgYPXSrxxqHah1zvbjV
ePkIC313NTjEOx/ouLIs3P2S+8GFIoargJqsLMVF3kNC7rFUsLwKRlp7S8sAofe4
Dh1tC1/j6XUl9wJy0o62q/vwinF+qWR2NzCbW1a+QDs20iL+oVUf6aHP+Siynf63
7D2reR222k/0vbB7NuLJTjcvCwkyevp9j0xE441fBPtwuCeMWIPh1sxi73xXhvCu
tQr4oC/pK68vGgPXaWI7usrlIpxbTbNz7rXJmdB15LlJjATQbTiOuOwOtIdhbW/e
jVYD5mWX981YhU6AHALQfRxomuwn0jkGe+AzDTevl3IUO/2nDkStZiXhXpCi4ULO
nah2R4zntu8xDJuqtzouGofUA6CRTI9IvUao89SLPQKqPVrYIh/f6RYG6CnicgCf
YasVLA5O0dYU
=J/7B
-----END PGP SIGNATURE-----