Accepted coq-mtac2 1.4+8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:07 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-mtac2_1.4+8.16-2_source.changes
- Debian-source: coq-mtac2
- Debian-suite: unstable
- Debian-version: 1.4+8.16-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=2UJbn+OkA/MB9stI+18b93darI5MJNVcfYVY6xDME6A=; b=Pj+0hHpitrOoYPuiYYIdEiKt+6 ThEN/YkzouBiX3eKV4ArRHCpTeBCWLoi4AZ7FB7QXxUhdZyRCuulXm6kJo9qtl1Ddtv4sKBDYkanh AGtiz+KrZ7RxfdXIru91wY5ndANxkix4/NckIhGCR0sXV/cFEixHVOHGpjNA07w1qVXAbDbjfZdPk KYwW3zyMOr9yxTQzwLsgV6hrN40js8TrAGRU/IoUUUR0T+u2wZSwOYracMZKwdyHnRRRLe9b+isN9 kUOMxPCNWCAH/i9GqEIu0qdus33lkzeAGHTxhnW2BVzSAEe7cg+Ipi3ncm/pN/12knZwEiuzS8Y78 P1Q9ceSw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1hf-009EVF-Sa@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:08:28 +0100
Source: coq-mtac2
Architecture: source
Version: 1.4+8.16-2
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.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
f7ff656273f859b1c977d6ef1858ab9c0ef9c940 2100 coq-mtac2_1.4+8.16-2.dsc
5ff51e3f8863edf39e9e370a849a1eb5e5839a5e 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
d68df05106f4d81b1ba46371042bf07a01eacefb 7425 coq-mtac2_1.4+8.16-2_source.buildinfo
Checksums-Sha256:
aa6b39df5bb89ae2abfb7c3038317acb4099ce60ea8386d037586f128e43bb58 2100 coq-mtac2_1.4+8.16-2.dsc
2d80fee8793d04660d0fdcaef8336a6857d819392a8507cfd8665dc6eb850287 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
dcae218f658ccc92d9151bedee443c3ab49e1f9997e19b3354f3e42b1451d01a 7425 coq-mtac2_1.4+8.16-2_source.buildinfo
Files:
ea402b9ce0aedf2229d95a13e00f1fb0 2100 ocaml optional coq-mtac2_1.4+8.16-2.dsc
64e2a759658ebd074f57c70290a58426 2480 ocaml optional coq-mtac2_1.4+8.16-2.debian.tar.xz
4a7efec23bad64b823634b3da3684164 7425 ocaml optional coq-mtac2_1.4+8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG+ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB84QAI5OfQgseb5XP8itFkQpmeI8FCD3WcKP
Z8csFTbf3jxBvdA5vSZnmOBzes8kxZ5R5lRvOvk8Peg8CFVRUyhjQUFpuHBjuItT
39pE9HczJVRb4yVtFO46Yxo9astsYXCWVBdmitp5odmbWZ2j0PFkjGZ0VhsvgDqO
BJymYXOO4IC8HLmH3NwznyfFYJ0pY0317XmZq7xfedrgSmVn83pHnLsGtWs84bew
UAjVay6/fksRoEBesaT8v4aaOlbS0ctAhkK5UxhtoBQRvDIphM3FEJJAYcjEUfdH
71OiH7T9rLzzTZt0oFsWDh83VAC5AM6EKfx3hlJL3xwUXBURbRp1pz7b5K42VK3o
XzZtu2sCKzZKWdOhGHaIZd8MxjvXQDS/0N8+nZfX1BN4UPWlQWPvSBBVhhAklGBg
mX8+JkavB+Bfc6vcIjg4NVyh3pAuwn8bSwBM6FvEHO3MpejC+4WqZsUNU5Adfgw6
ymNzscVuszk4h33Baiijg5w0BvjYSR8Rc8Dfz3UAdeDY9R0AhisQ8y+qYkCMK4Y2
7WXDahzfFQh+Hacy3iZ8kFcucjWyDkE84UIz4SWlNVOnTMO3pzuAaNe2zMDaLtzH
jv8KV+KKQSm7472piQkqKUMvwgg+S6+W8PIPr5SiV64u5E2ru77Gs+Sm2K/xJNOF
OCYmY9bwZWy5
=axkW
-----END PGP SIGNATURE-----