Accepted coq-math-classes 8.18.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-math-classes 8.18.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:48 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-math-classes_8.18.0-1_source.changes
- Debian-source: coq-math-classes
- Debian-suite: unstable
- Debian-version: 8.18.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=ERNNKTcTIXJFG7jJ0TCyCVNOcbr31SOIpJfsjfUR6Rc=; b=Dew4HByDt0Kp/1nrXx2sEqAIFJ ploYFC/DM/lK4OFhr14/qFQAKKUdUPLhYsfu8SD0DemNumL7trT14hTaHjCp5s0vYGSfp9xuD5JlR bDOYOt5NdoQcL5UxIo8w35ds+ryEHNUwX5H5ntawTbfUx+dTsblEZ8FrQnYJXQUtRnRjqinr1/JpT 9wYg4sB4dpk+Xeov5xjPt2tlCfxZW7PdVhNG4qAUpmGre9VMe7uyI+QM7TBoTo6APnLNuWhloaaNa lTPy5EnPb+M/TWljsG45E/lbQb/b7ShQcDRD5BROsJx+kh3esKQ5x/XJ+a5ART4BAgl6k6j9oyT0T IAIjDy7g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH02m-002Q8m-Lu@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 17:09:52 +0100
Source: coq-math-classes
Architecture: source
Version: 8.18.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044914
Changes:
coq-math-classes (8.18.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Set upstream metadata fields: Repository.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044914).
* New upstream release.
Checksums-Sha1:
1a7086dfea45a90f1fa8b244d34dae49c32ad828 2164 coq-math-classes_8.18.0-1.dsc
13491b81242653877f105363119c77fbc737676f 169010 coq-math-classes_8.18.0.orig.tar.gz
08e352a3a13b0e88ab90c71c2dd084753b36df0e 2916 coq-math-classes_8.18.0-1.debian.tar.xz
b85a7658ea767ca8bfc3ec1ec473e5a6db86915e 7901 coq-math-classes_8.18.0-1_source.buildinfo
Checksums-Sha256:
896427d4f238189b760048fe38a577d575514ba64f72f2dd3ab70d6e5adee9c5 2164 coq-math-classes_8.18.0-1.dsc
e8572538c7fdbcdf48ffff008230e4577134314118de317db3d2328a52374700 169010 coq-math-classes_8.18.0.orig.tar.gz
c794302f26c42d3fdda4a113fa170e9afb0af98dcd78668a5c732e7e787d2a5c 2916 coq-math-classes_8.18.0-1.debian.tar.xz
ce20571fa71086f874b8c10da54910ebf45c8c6aa5a3ca1288233561f0c223b0 7901 coq-math-classes_8.18.0-1_source.buildinfo
Files:
afaac9b61192c95b6b8cf82e6bbb8fe1 2164 ocaml optional coq-math-classes_8.18.0-1.dsc
1261b1747d528eab8341c6bbf84a84d7 169010 ocaml optional coq-math-classes_8.18.0.orig.tar.gz
3dcc06e5ebe940c6437d3234b35d4ef3 2916 ocaml optional coq-math-classes_8.18.0-1.debian.tar.xz
28793174f23c5350a1d3ec982e0aaf69 7901 ocaml optional coq-math-classes_8.18.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEY2QSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRXIP/jDGpRDwTq1j64ZJaPbL8NO0B7kYMjyK
1FaXgRsIzfkxGv0diJ37w7rY5nq3/1YONTehj9CxuoJteOiiAmAnhpV6MLTq27cf
2Ft1//h9cdshPL2fK3Hgvg61d9E6zH63wKsadYpofVL1QzKSR95Xkd7grKrvrngr
Nj0RFw9R+qVGhO1Aft5pZFCerf5K9iUI2RLRxnWQKRI0njh1smNWsvzl8GVj/y1D
VLPDjCLmuUKVkCLiuoauvp1ubJ/98Oilar7MF4R4CCWNwmL6QefkPhcmoph/MN0o
4Nb7sH3wNW7cEKhhaZNxwQCfDA4dftou0DP+k6cmFqsRW1jVo0fQiP2RW7ud9x5P
mrcbUZXdiwlAM+hLEoLrcES5t8envuwC1u0654IO17wk0dAIYlCs12jd06EXtPma
StC0lrPuIhEibfo4mHInLL17klQwKGxuv9Ccb3ZQLcDCxcYwdNeMIApGTyWEAdhA
+xunvmlEInrY+RCvvFv6bZYVbmCPGin59I36n/N7uhKAL/LQZ1+5jaxnoe95bL9k
QR2V4efFa3Z0wINqTtehhWD1JWEAVhFu9ej+8cRBSekHNiigshQqtilkMHVjYN0R
R17y10cb7sL4LXDNPL6gay0iQ5UW2yJr+EUPI6myuWJUJAmRDd7EmvdzcYlOHwaR
BIcPlJ3WwnCy
=ggE3
-----END PGP SIGNATURE-----