Accepted coq-mtac2 1.4+8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:58 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-mtac2_1.4+8.18-1_source.changes
- Debian-source: coq-mtac2
- Debian-suite: unstable
- Debian-version: 1.4+8.18-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=SawAz8bwyMiWKwgM0V2NIuXRoKpN7/FHoHy8xc2KXzw=; b=oGJV2whQJtX+DFrpWpnIcJLmYk Hfv/EG8GXIIKcMCuTnca6c5SDgdi47EvIP+95rlrr9I/KVrdOySpo62nTbcxhP5l6GW4W7GLWGK0S QHS5Wcg6c9USMU1H7nrBOZ9cFzBnW5D//L5luspKE/Nv0VyM86Kdq44wuK8A6D8G9fg5V3vRDYcSW lvC3C7QiTs2W2zVAO4diuQEVU0VwktJ7DjJaeIaejKP1jGvL87vmjNR8gZiiW71Yf9XqOWGEq5VBK rPRFE5AJsCsYwmT6k35QN4FJkBgpMO5r5A8kk1ZxPHXU8QG/1gADpmNbiTmmmS71y9GhXbgwuTA05 yueTUHdQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH02w-002QBE-Ck@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:10:54 +0100
Source: coq-mtac2
Architecture: source
Version: 1.4+8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044703
Changes:
coq-mtac2 (1.4+8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044703).
* New upstream release.
Checksums-Sha1:
6c553a02471e87f7e1971ee28fcb1126244d4cf8 2100 coq-mtac2_1.4+8.18-1.dsc
10bac22248f19fa3872559037caa1cad76c9e5d6 252158 coq-mtac2_1.4+8.18.orig.tar.gz
64805ebe4f92dc856c75f83ef1bd226686bd7bca 2756 coq-mtac2_1.4+8.18-1.debian.tar.xz
6e5ced3f1ee9c0dd13e3f08df44c622bd37f7bcf 7875 coq-mtac2_1.4+8.18-1_source.buildinfo
Checksums-Sha256:
2d3e1f188491ef7cabad11080a5f9e1e30f2bf2905c939047ecf4d376e88445b 2100 coq-mtac2_1.4+8.18-1.dsc
3c37480148a24d6d948871913d7f626ab03d944cd6aaadf25cb2f40094f08cfb 252158 coq-mtac2_1.4+8.18.orig.tar.gz
8d0959077bcd116cf7c961599c9d1e2326338a12f63f83c2b5aed136b450a38d 2756 coq-mtac2_1.4+8.18-1.debian.tar.xz
7bf401868ebd71200aa2816c590c92a9a258e1ad6b8f8d62cfd559cb61975db7 7875 coq-mtac2_1.4+8.18-1_source.buildinfo
Files:
6eff01a9da3bad0ba03351a38fa28a94 2100 ocaml optional coq-mtac2_1.4+8.18-1.dsc
51b768f6f78c09d069eafd1378c7391b 252158 ocaml optional coq-mtac2_1.4+8.18.orig.tar.gz
62f890fe559061db39ee7a8347231c08 2756 ocaml optional coq-mtac2_1.4+8.18-1.debian.tar.xz
55419a086da1a62a0d613d796a7cafa7 7875 ocaml optional coq-mtac2_1.4+8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEY60SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYFsQAKB87q82X4rO2ufK4v//4M0aBbBPm0m7
dSt7+FjsfLxxGSMsf9yn2AFKyGnADaaHJaiPgIdKf5QSuadmCU08TemWcR+8f8o2
DGVy7AsoysyprOy51WjH8X5k2OiijcfgKYRKq3iJqbulK2qIMJKZSqLzttRiNsOc
8kpvmuyx442jl2u4VxDWjcETzjkAte3ZQFOZN6c/Ay13msNhbhcM5HjQDV43adWT
Lmv2w1CzhWXzIvM4N+fv+/xptJzQFZoqCAbcwTNet+4lmkiAgU9mgCRlRVhJVF5l
Lt1PyKWTVX2o0LeGmcOev4SmecxKQSIdDn9xTTTRBScgyaGTzAWo5l6XCympfMRF
p1khYHQ3d2VcZsz/wJAEaRmfWbYbbRWwxJUpZiWY9Pn/DzcRjClxWPQ3fL2axLqK
Usk7HrL46Xt8pLlCPEhJ+8E/MdUxnHs2AUvX4p3LIactbGxvfvruI76yUIsgCvtD
xjMtefT2vB0SDFjC9vjm/ztjFEbdo6b0cze62PR7nZ1P8MlEd0Z/8BI8dhv+8+ph
kuwohUW87qSWHzfBJHoqN9eFI4CMxhP1XLN1OjhVnJ4IVuBMLgjhu06wtcgfAwj/
yc6qKj68f3jc4dwGdPfWxtv5HtEnu3TrGZpB8OUYol/dr6lw74uqnTcKHZNSfR7X
0ZO0PwXfd8ZR
=H4zI
-----END PGP SIGNATURE-----