-----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-----