and proposal 2 must be
invalid, as they have the same expressive power. Note that allowable
algorithms for which the proof works includes caching and version
ordering as well as the simple execution of the ebuild.
Nick Fortino
[1] I further state, philosophically, any formats which have differing
Ciaran McCreesh wrote:
On Sat, 16 May 2009 16:39:40 -0700
Nick Fortino nfort...@gmail.com wrote:
Given the above, it should be clear that any argument which states
some future improvement to the ebuild format will be impossible based
upon making the wrong choice between proposal 1