Accepted coq-unimath 20220816-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20220816-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 12:04:14 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unimath_20220816-2_source.changes
- Debian-source: coq-unimath
- Debian-suite: unstable
- Debian-version: 20220816-2
- 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=8i3FnbDYUepRlkpL9esCxyNufsBqGNgVO3CWRMe3G8o=; b=ICnUZYU28O+kJTf0KVKdlhkIBF SU4EmrbqhHIyA8GXSswiCWil42wY91lVcKZkYMgh/yg8i72bRjYsoJYT4/J8MJ/mNqUwrlsfG1tF6 qfRxk+6RQVmq8lQSXnow5fRoFyGjtiByleheXMY3AFA3ZjuQRY0fo3JiuggbJXjQbTOL95i7Ti2SI hT5L/R4p7kbJcSnBOOzbGwlF8bIO9/HQe62KiyfB6J6eABhOe4uS4LNacCgH0TSfD9UJFBaHTENP1 48pS+T7w2HElfOwg2dK8Pb2cSq/ox7Z3pfJ7l8qqXzKNe/zc4jJan1mOJGGwy/D9+XHjCNfbxOMi8 vmnnJXJA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKeVi-003nZZ-3n@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 12:46:00 +0100
Source: coq-unimath
Architecture: source
Version: 20220816-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unimath (20220816-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
880290410f428ceba417674d1f1da08a764139b2 2099 coq-unimath_20220816-2.dsc
49e5c58407bfc5d7f996788d33b212a7852952cc 1776 coq-unimath_20220816-2.debian.tar.xz
3b35d1511a9c1c61a67f7e1926c176671bc4da21 7399 coq-unimath_20220816-2_source.buildinfo
Checksums-Sha256:
087971ce4047fb9730e685743a9fdce32e87e6dd35afd8cfacaaa1322729e4c1 2099 coq-unimath_20220816-2.dsc
9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1 1776 coq-unimath_20220816-2.debian.tar.xz
0c31904c5c88bbbde9b6fbdbd6b2b21776f1f17e01f6b5c927cda39f9412d84b 7399 coq-unimath_20220816-2_source.buildinfo
Files:
f1fcfedb2c70a20665de70e1b941a964 2099 ocaml optional coq-unimath_20220816-2.dsc
da16caedb5f9c762248c2598dda58960 1776 ocaml optional coq-unimath_20220816-2.debian.tar.xz
a754167c6d112f508a25a26c8defdf61 7399 ocaml optional coq-unimath_20220816-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRFrASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5YAP/1LPnTgPgTt9gnLzgNL833rcF2RTUzd5
Wi4FE7vwntIPi9M2GGt+DMvZTbh6FwiChsuyrZ9/p4sCSGqgjqMLaJ9EWeTsGg3k
k4DEn5CSlXh5lERbx/N2hSdvwb0PVBLPm8kjj+L9t8antmYUdTFu5+mWUl5lLeLw
ZgiCewW7c//2G//MKb05j2Tn6z9C2Kchbsvta7Tl9CJGeYKeJ67/NdXhL5qt2fFx
58ByD7vrJslCuM8rd+rRz5MvSP/1hMWobsrHc6GNafcdQaEH6HoFSYspPgJXsQQg
drIce47legABL84rjQy6otUN6wCMYzNKXqYZaIdH3jl1MesInDaf9IWK0LikuRkJ
2y9poQKjyld9GoqL63b2BLu2dCH8YNVHcBD46sO74VSEmOYHdzvfYXU1fCkNsf0N
vqwvzTulsuM/rFqxIDkSX78waqj6i8iMqt7uqGHaot88jO4WeWfTRtEx7O9kQRbl
91VayvRgDb/SMbn1IGDLehJ0WZ28Aenyv3OAbgCMFbu6ggfd5OcRo8iDaKkGPDOx
62sBnDOv5iSmH4zbRi1zHH5JVZt/H+MbK7yt0WdemhZEreY9pnAEowwQDtbcz1LX
fIfZt9GWRxDC9AM4FA77/h5Kr8t2KGtKq7xAwYlyk89+zbeSsEcXjC+tEQqzOhr2
log99Cr1crN2
=T7pU
-----END PGP SIGNATURE-----