Skip to content

Merge pull request #438 from hacspec/make-devshell-lighter #1368

Merge pull request #438 from hacspec/make-devshell-lighter

Merge pull request #438 from hacspec/make-devshell-lighter #1368