Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)