Accepted coq-unimath 20231010-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20231010-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 16:34:48 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unimath_20231010-1_source.changes
- Debian-source: coq-unimath
- Debian-suite: unstable
- Debian-version: 20231010-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=pOVIgceLFzEyPyLv25IOZFzTt+rq9H+1//FpDMkwI9E=; b=KyMLacbcKb3W0iKKZFcC3+OZqW dchMqfzys9iNtnwyZqB7gkftt9EuXqKUFhEv6oiG4Lj3ctR6cFgWNldqKKPPXl8HiXLukMOLIdh7G zKNXLIY4LZUINwdwRWwP7SbOeaFBDInOPJrRlHN2jrTKW90DkWkB+hrdKObc/2N8bo40h+M+v3nWy XjnEgD0KfwcEfF2LEr0EJnnOV0L/2YFTqn/D7f7gD8kZHt/YBH+QVuCx/0MlNEKOYGgcIpc6bO+LI 7NruRK7YAVcnBGdo1IqsWJQqUI72J9eplGvtiU+JOboIHYFac4Uz1yuro6z0CKLrbgg9V73ZRDXUL yloKa87g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGiU4-00EwHk-7y@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:37:29 +0100
Source: coq-unimath
Architecture: source
Version: 20231010-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044146
Changes:
coq-unimath (20231010-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044146)
* New upstream release.
Checksums-Sha1:
155be0835f7772fd92014ebf4e583a51e5052673 2109 coq-unimath_20231010-1.dsc
cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz
93bd9c269cbea0bb5dd8398145a42dae09e4539b 2088 coq-unimath_20231010-1.debian.tar.xz
7da30af6ede87e97e687fe48d5b3079b2247a056 7852 coq-unimath_20231010-1_source.buildinfo
Checksums-Sha256:
3c87083284e448de7723bbc20fa28387b6a2d4b4de6a24092558ee8c7547ccde 2109 coq-unimath_20231010-1.dsc
c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz
dd3a0d8e22a121761e8967c2bdaa92553bc2fda8ee8d6d54f1a2f7d0d147bc9f 2088 coq-unimath_20231010-1.debian.tar.xz
a6bdeac383d830c8ed026945e37503873b45533ac5fe62ddadda18650a63647b 7852 coq-unimath_20231010-1_source.buildinfo
Files:
5cbc38eac51bc1089875ec1076b64952 2109 ocaml optional coq-unimath_20231010-1.dsc
fa01c7733174c7ac4c161b610dd7f858 2893033 ocaml optional coq-unimath_20231010.orig.tar.gz
64e61e068b79c4004760ab27931969ab 2088 ocaml optional coq-unimath_20231010-1.debian.tar.xz
aef20b9a4ae0b342e9043e6dd2d4fc74 7852 ocaml optional coq-unimath_20231010-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW/sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR32kP/0DhZTwyt4adxfELWaNXFPpbtZO3Ai4O
HAFghRQs1erUmITmhb2SGPC9W5eQpCRKvLR/MZKd1aNJxT/uDjBba/hQW79NXK2a
wwT1BlXKobzvJ481dInKAg9PynT9+AGDqTsPatoBDqssSzgz044BrKTBAE0Y5MFW
u16AFdGLcJ8TF1AC5UsjqwirTBsdMQeXR7kqRSecEormRastf7FxsWMJ6zriqZbu
PHR8NOKCElfftWsQ+GnIQv7cUGJE7DnDVNZx4DOwDj5Npw9yWHFceklF08P7A6z/
7ECvxZrhXsQYWEEknJN2JJ1IoGN6/kcGnaxD8fKC++EmMzc43efDXeRDVPVZLpzK
CHNOjWYulV5n62GLM7kmcshAZzSHTT+VFLNJiQACHsKWR1r5b8sp2gXG1O3ejJZP
Lq274+dleo9q+81GF8XKfTOQJEr/l/aryHk6ANgaK2E4z75gXF0NgHgQAbiG+Uvp
s3Eo3Gx45fwik87IznUtFuMzfl1hOSRldVnyytGp3MCEo/ZOe/vso+X/vGWW3VKR
aFaS2s8N6v1tEOKX05cIIBs9RCSeczClpd5+fkKyaDL66RkWmGnTROiygvPlkjd1
wLIt+uFC7stlcJ/Q5ajM4mGmj/D58PSHhIOCYhF7aAsRTSdydCH6xSZzVw+zUZ2r
QjeXt+M4s8BS
=V2+Q
-----END PGP SIGNATURE-----