Skip to content

Fall back to Apalache v0.52.2 if latest download fails#202

Merged
lemmy merged 1 commit intomasterfrom
mku-ApalacheDep
Mar 18, 2026
Merged

Fall back to Apalache v0.52.2 if latest download fails#202
lemmy merged 1 commit intomasterfrom
mku-ApalacheDep

Commits

Commits on Mar 17, 2026