Accepted coq-math-classes 8.15.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-math-classes 8.15.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:49:58 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-math-classes_8.15.0-4_source.changes
- Debian-source: coq-math-classes
- Debian-suite: unstable
- Debian-version: 8.15.0-4
- 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=fWYkwwFWlFMZGDyVmrgTcNTIwT1geKr1fY09BmyhBHo=; b=tcZFrylFgmCUf+jC/c72/prY+Q 2ksWvW6jL5Zn1DRQkW+kwDK3X7OqgTzeJETcGNoj5b6DYunvKeqJRPxl+w8KzNO13b3yu+tMSgKV7 CuvyN9/1lRUC4kDrjq4Nq1vrEMba8EMHUzmRDqSpLWCLwj4Cts9csjM/nhDhZwzbEyzAf4hdROxse /1Kgl50jETXp4K+rJeg9sltblIX27KdhseL7wC7kz/XgNFDNqP2aElYbFGHkGbTVTboRozWgq+X3f R2UMJ/UoB9qlm5HGDrPF5n/u3KD2IUhMeEhA/2D24RmlyYsj3cuhKtT9mSiy3uUtVH/8objhrSAv6 R6V4oEMg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1hW-009ETJ-Vn@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:07:10 +0100
Source: coq-math-classes
Architecture: source
Version: 8.15.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-math-classes (8.15.0-4) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
22aa3e3092f2b5df6091babe827f5fdbcd5041ff 2164 coq-math-classes_8.15.0-4.dsc
7a9f76c5b71d1f928aca6e447960be5eb0459964 2624 coq-math-classes_8.15.0-4.debian.tar.xz
01f05b90708d0aa48ff64d82457a25a882896e6e 7441 coq-math-classes_8.15.0-4_source.buildinfo
Checksums-Sha256:
2dd7693fb7ac6cbd54ca9e1eb9d4ebd866dab295b23c210faef199390a6e01e5 2164 coq-math-classes_8.15.0-4.dsc
a864822ae1fb02b3f1f70054e942a3ea3085fddaf76f5762cc1ad14f066e24c8 2624 coq-math-classes_8.15.0-4.debian.tar.xz
7a0e7cff2e8f9a3a6881e6ef6ab05bf09ec6ffc9db78e8e716d7c7a0f19b518d 7441 coq-math-classes_8.15.0-4_source.buildinfo
Files:
cff54d56ad0b55a51af3fb9f35b48848 2164 ocaml optional coq-math-classes_8.15.0-4.dsc
c6803095fa1bb9ebef357f5c87b6c49a 2624 ocaml optional coq-math-classes_8.15.0-4.debian.tar.xz
8db258ded024a094f63e5d1999fbf9cc 7441 ocaml optional coq-math-classes_8.15.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG4ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMKwP/jk7BEUiTNhQidYXYis/1tVroEQHpEgN
7VvfabX5XLTOqi/7wAinQyNVOgtrvjmOjwNEeIXlu1WGb6KIntWXHkBkMPnmPjOm
niZDNNEYMKBWWJMmB4rL1oNyNeY1gR2o3ByLgNPX+hbOEG1nCYYqB8jFz0VOzle4
CSQYkUJE8M46PoocWA5hEUXiDWC599qTJ53gn/znxRR71kynmERQbJVk/ykC7GqS
Bsk0/Kn9Kx2A2RHjOXxIEgu4WUi3HeqOPOI0O9byWDxSPaP1vAeVuUXIhDx3x88Z
/HIMflfGRuPmCUuR+WAjrxTbmaytIooTZERCtX+OhjgV/17cyH6kxDPxpULA77w6
LsraeXXfyMvZFqBbZO1af1BcoIK2oiF/3oBV8xh5UUgw16UPbuTuvN0g1UxKEo6g
ftVqFDYqB08QdELZ2jx5OIKVU+Z/YRZnh464Z9lxKlCWdbyc5j+AzH9/lU4jH12S
c8JO5Gjae9yheT7ZNhqJ1ZXTwD6JH0loDDRfiSwfXrp+5oDkcw4eT+f1QMGMKRjJ
89U/Qdw3yrvmLl51XMDW19msWdDqPfo5Wm3rB0BdXBtWBVquKra6Ls5/JQt96P6d
TsqjPch+lSutxITqBqo7WIeyKrRs/qnB7QoUiQnGAmJSEd/HtLmmlDMz5JAG6/ov
mURlLSKKxIWa
=5G7R
-----END PGP SIGNATURE-----