Accepted coq-mtac2 1.4+8.15-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.15-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 07 Aug 2022 07:03:54 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=kXTZbQomjKuJxDzaFB/bQ0xFv/r3s4GxkrU6C/MpLgs=; b=bp2joCyvCbW9c969J252KpCZPV sO/HZ58xJFhzxqMjX9Hkmw+xqudjXtumhFPS1gEd1vJMtdIgkl4QHPKUZEmfKpOW0Q29uedAX9Z3e 5MWk3XBAFs9Rea9z6E6QKynhxoAqe83v649EmYMqRC/xVK9Eb4uwy7Qusrc/6Jr5xgh96BfJUV04i 9+j/qfNn++kOQJoMCWF1LZuwNxspicCse4tT1O3k9DPjbKWokOescrnQ9V3N3H10FfcNwZtwKkGck AG/fWwZSFJFK5FkremwUrn9cHPdRb+80AyfDbMSvGZJUaIm9/0NfoRKGRLDvTjzISjs04GmSB7KYY 4XyhfbWg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oKaKI-001fBB-Tu@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 07 Aug 2022 08:38:06 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+8.15-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-mtac2 (1.4+8.15-3) unstable; urgency=medium
.
* Add missing shlib:Depends.
Checksums-Sha1:
58f7b3d44b77431a11b295b40ab0ee5c76d7dd53 2095 coq-mtac2_1.4+8.15-3.dsc
203f1fb278e4218185b4db0501f24c9a1a6c46c4 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
9ff1c422b83cbc2f3b04b819ce3ae37cd3aa90fc 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
Checksums-Sha256:
ccc793df8bf60654d31d94df526982a11d40a03d7c6e6709bda5ddc7c6075957 2095 coq-mtac2_1.4+8.15-3.dsc
5c4121c769d0093b0e2a902b63e945a56277a73fbd390f312041c7e08ba93c09 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
1c80dd746afaa03b9bc86b8183330753c37c8be804bdffce274f95b6fd1c96b8 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
Files:
b9ee81f3eae70b9d0e003e4fcc48e1ad 2095 ocaml optional coq-mtac2_1.4+8.15-3.dsc
399f3462c2213de8f9c9dc8142c8412d 2404 ocaml optional coq-mtac2_1.4+8.15-3.debian.tar.xz
59f32e585945631fb3484cd009c376ff 6985 ocaml optional coq-mtac2_1.4+8.15-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLvXmQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRczsP/joGxxAjBrgM+uLZdbM4Nr3lxDr93IgD
6kb6S/PDnVWZDSdTOmgk5AKxcNLBCIl4jX0zaGsbi04FurP8Bd4zXzs+A5i/8zsf
CzHOtufluUw3F1TWFgqqin9YoNEkA3SteePexdgrRRYEFXotOVC+nIELPCerwLU8
k4sUMPFw8EjTkTawdzMzMe80DT3zc88cDv4obp5A20EhTRkfkGc8QGqvtgUfCnh3
m9AP2zjnmm6nbjVADsqQZMY+C6Rfa5VjTSw8QBtA2gr6ubUGLGY5TEwC+sgHwB2n
mo8bmHAEUEfvgpGfYuIA1SbbyLDw6MZ9NDBaSCO0vC5ijSsDDzn69V9n+or+3pj4
unb5xSdsM3wgeWUG0jKUw2IwYykuXZG8r0ER3+zeNEXmIm37k5eUZm7KdHX4Nu3n
1Mhc2D/zyu7bFuAWQs3jsalNdCtRWMJsJQZOxG6A9Wnhtf0LUJU7nMSm9JhASL4R
bA1W0jnjxgTTSdvZL8HsqzQktEZU9KOJqp0eWxnC/42tyuXHj8ZdjAFxfpXRMzrQ
ghlFIUPqcfqasV71ngt+pQtC8asixgloA8u9YXO+BokWHNJeUkjIbHa4juoaXmfs
gRJ1CPTVy6Nvr+Y3m3xnqIwcPQ4fjc4ZN1m/gvP2fkLLijY5jawO6Kx7kMC6D5Fg
ftc0oUy3OQ5P
=KYFl
-----END PGP SIGNATURE-----