> On 20 May 2026, at 18:35, Gerwin Klein via Devel <[email protected]> wrote:
>
> ASpec does build on ExecSpec as its base session, it only includes specific
> ExecSpec theories. ASpec will only be rebuilt if the content hash of those
> theories changes.
Confusing typo, sorry. It should read: ASpec does *not* build on ExecSpec as
its base session
Cheers,
Gerwin
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
