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 76C8A139083 for ; Sun, 10 Dec 2017 18:27:56 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 3F09AE0F58; Sun, 10 Dec 2017 18:27:54 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 04A34E0F4C for ; Sun, 10 Dec 2017 18:27:53 +0000 (UTC) Received: from [IPv6:2a02:418:6a04:178:209:51:99:11] (unknown [IPv6:2a02:418:6a04:178:209:51:99:11]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: bernalex) by smtp.gentoo.org (Postfix) with ESMTPSA id A82BD33BF05 for ; Sun, 10 Dec 2017 18:27:51 +0000 (UTC) Subject: Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype To: gentoo-portage-dev@lists.gentoo.org References: <0f376a7a-8ec1-1374-df2a-bc6a591eaa04@laposte.net> From: Alexander Berntsen Message-ID: Date: Sun, 10 Dec 2017 19:27:38 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-portage-dev@lists.gentoo.org Reply-to: gentoo-portage-dev@lists.gentoo.org MIME-Version: 1.0 In-Reply-To: <0f376a7a-8ec1-1374-df2a-bc6a591eaa04@laposte.net> Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="KpWdBLAuRKhLjwcM4RFect9uRFAw7TW5s" X-Archives-Salt: 945f2e59-3e73-415e-bb39-b884a5f234d9 X-Archives-Hash: 0fb6da191754429ddbe047f3afc924f7 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --KpWdBLAuRKhLjwcM4RFect9uRFAw7TW5s Content-Type: multipart/mixed; boundary="9SGRuLA37K2RmAKOjnwtSeOJgiTu0LCnf"; protected-headers="v1" From: Alexander Berntsen To: gentoo-portage-dev@lists.gentoo.org Message-ID: Subject: Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype References: <0f376a7a-8ec1-1374-df2a-bc6a591eaa04@laposte.net> In-Reply-To: <0f376a7a-8ec1-1374-df2a-bc6a591eaa04@laposte.net> --9SGRuLA37K2RmAKOjnwtSeOJgiTu0LCnf Content-Type: text/plain; charset=iso-8859-15 Content-Language: en-GB Content-Transfer-Encoding: quoted-printable Unfortunately I am way too busy to even entertain looking into this in any detail. A few years ago I was hoping to work on something like this, though in Agda (or possibly in Haskell or Coq), and do work on making Portage much more modular so that you could actually pick whatever dependency resolver you wanted -- even going as far as "Don't like the resolution you were presented now? Try using another resolver" messages. But alas that job ended before I got very far. However, I wanted to take the time to drop you a tiny note of encouragement. I think this looks really great, and I hope someone on the team finds the time to look into it in more detail than me. --=20 Alexander bernalex@gentoo.org https://secure.plaimi.net/~alexander --9SGRuLA37K2RmAKOjnwtSeOJgiTu0LCnf-- --KpWdBLAuRKhLjwcM4RFect9uRFAw7TW5s Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE9IFxdkrEBjQqqr6l1CpZ1FQaTwEFAlotfKAACgkQ1CpZ1FQa TwEoEBAA8moVY92bC0Q4suQQfX3BqCDaaeBmsck1VZJxUpk24IF47JnSvbkNLXFL nHnx7AkVBK1yKdmH+6mLmAiLaXbv5G6EXbyjg6jdTGBuTfv+4XjSxxXlzCJxyCuo NXs5p40ONJ+Nsp8qU6K1v15wjlLTTpbaOpYIsa4gGhbgmBvQKI3fEV1VNwYpAGXG BOhbQfyXgY1vefeDUASFtS3yofBYCN1KUNxvQPNF8aaVEinL0l6PuXUvTsy/rYDu RTaGRZI68n9PLN0BYXGT4ml/QnLY7/XG5thRGPduW5AuXsquDtjdeK/Zg8d93j4V T5bgvyTbsm1n5xuwpKxEJGmJOS3YqDkmiuz08ulCbVshjjeeDgyuFDINWy+LpaQu L+vaNMgGfNOvkl7kdcuCfeGmOgqemEkgFvPjVu9PVDFKK1HKB0Z7Dm7PcysoymJ8 ZoEn9Qlnx8Trg0/Ec5b3tZPSY41whxlM9AzQIzXuiwAX4txWg9aIOOx1U8xrC6+1 mzs9ZvKqtEwG7jTnnFqwYoCYgob0pfiE2ZtlhOrZ62gR9Z/pC6Gf9+2zLtBCZoTg Lg6fWK6d0mzLS77H2AoCzTA5geAVzfAGrXytbV/WKuMFYbKbA/F4Y1oee7R9KW3I STIypX4/Y6VtMGxxcYCmejgxHotnvj2l04PXIuoSCMWPSXrf92A= =7sc7 -----END PGP SIGNATURE----- --KpWdBLAuRKhLjwcM4RFect9uRFAw7TW5s--