From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 968C0138334 for ; Sat, 7 Sep 2019 17:00:26 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 7C80DE0921; Sat, 7 Sep 2019 17:00:23 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 219FFE08F5; Sat, 7 Sep 2019 17:00:23 +0000 (UTC) Received: from pomiot (c134-66.icpnet.pl [85.221.134.66]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: mgorny) by smtp.gentoo.org (Postfix) with ESMTPSA id D5C9834AE46; Sat, 7 Sep 2019 17:00:10 +0000 (UTC) Message-ID: <9db899311eb8990ca774076d576719eb5e265628.camel@gentoo.org> Subject: [gentoo-dev] Last rites: sci-mathematics/kodkod{,i} From: =?UTF-8?Q?Micha=C5=82_G=C3=B3rny?= To: gentoo-dev-announce@lists.gentoo.org Cc: gentoo-dev@lists.gentoo.org Date: Sat, 07 Sep 2019 19:00:06 +0200 Organization: Gentoo Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-ZjpFZCkQP5BB9deDLje7" User-Agent: Evolution 3.30.5 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply MIME-Version: 1.0 X-Archives-Salt: bc4d5623-e029-414a-9ce9-0a41f027cec6 X-Archives-Hash: ac304d4c76fa251b55db10ef34d1bab5 --=-ZjpFZCkQP5BB9deDLje7 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable # Micha=C5=82 G=C3=B3rny (2019-09-07) # sci-mathematics/kodkod: reported to fail to build. Last bumped # in 2012. Homepage is gone, and sources are nowhere to be found. # # sci-mathematics/kodkodi: the only revdep of the above. Last release # in 2012. No reverse dependencies. # # Removal in 30 days. Bug #685802. sci-mathematics/kodkod sci-mathematics/kodkodi --=20 Best regards, Micha=C5=82 G=C3=B3rny --=-ZjpFZCkQP5BB9deDLje7 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQGTBAABCgB9FiEEx2qEUJQJjSjMiybFY5ra4jKeJA4FAl1z4hZfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEM3 NkE4NDUwOTQwOThEMjhDQzhCMjZDNTYzOUFEQUUyMzI5RTI0MEUACgkQY5ra4jKe JA6b+Qf/Xd32JF3MurytG2oeRk8B+zIl3910eMCUuuLeoGh9064XBk/xpKnunvdd AWUQTZzhe0E2GF+24pairPiqjoT4SwCf8tkmm4SFpVor2sfR8wwMljpKkhu353iW pqJpcTjoj27rWT+l/i17cQ5aqzaIpnDP6UqrkV/5+cLUbxwdAY5aHReaPrQ9NdDd SChaU3qM0AJkOw5nSjRungk4BPTDX/zgWR167EnWZ/ONhQNmzbcXB70pGdf+VpMK QC+EhzKnGpqLPsMqq1+r1ze8GRQItM+0j+ekLWvDpFvZM0ytmxHyrxjMywfnF2KX FAUTKe+MkZEcPEPI0J2G1MoTtH9wtw== =HJBg -----END PGP SIGNATURE----- --=-ZjpFZCkQP5BB9deDLje7--