shells/meka: update 0.27.1 → 0.27.2
Description
Description
Details
Details
- Provenance
yuri Authored on Jun 1 2026, 6:31 PM - Parents
- R11:aa5aeeebbde5: misc/lean-ctx: update 3.6.24 → 3.6.26
- Branches
- Unknown
- Tags
shells/meka: update 0.27.1 → 0.27.2 Tags None Referenced Files None Subscribers None |