Skip to content

nix: Fix dafny source expression - #363

Merged
nspin merged 1 commit into
seL4:mainfrom
nspin:pr/fix-dafny-source
Jul 20, 2026
Merged

nix: Fix dafny source expression#363
nspin merged 1 commit into
seL4:mainfrom
nspin:pr/fix-dafny-source

nix: Fix dafny source expression

e3e48a3
Select commit
Loading
Failed to load commit list.