From: Alexander Berntsen <bernalex@gentoo.org>
To: gentoo-portage-dev@lists.gentoo.org
Subject: Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype
Date: Sun, 10 Dec 2017 19:27:38 +0100 [thread overview]
Message-ID: <fe18add3-8c52-c390-fa41-4ccaa9a7e3c0@gentoo.org> (raw)
In-Reply-To: <0f376a7a-8ec1-1374-df2a-bc6a591eaa04@laposte.net>
[-- Attachment #1.1: Type: text/plain, Size: 757 bytes --]
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.
--
Alexander
bernalex@gentoo.org
https://secure.plaimi.net/~alexander
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2017-12-10 18:27 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-09 17:07 [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype Michael Lienhardt
2017-12-10 18:27 ` Alexander Berntsen [this message]
2017-12-13 1:52 ` Re : " michael.lienhardt
2017-12-16 13:39 ` Alexander Berntsen
2018-01-08 2:06 ` Michael Lienhardt
2018-01-08 11:54 ` Alexander Berntsen
2019-06-20 19:02 ` [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: again michael.lienhardt
2019-06-20 20:23 ` Zac Medico
2019-06-21 10:41 ` Re : " michael.lienhardt
2019-08-30 14:34 ` [gentoo-portage-dev] Constraint-Based Dependency Solver: initial results michael.lienhardt
2019-10-08 22:21 ` Michael Orlitzky
2019-10-08 22:55 ` Zac Medico
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=fe18add3-8c52-c390-fa41-4ccaa9a7e3c0@gentoo.org \
--to=bernalex@gentoo.org \
--cc=gentoo-portage-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox