synth-dev/leanprover-community--static-curlpublic

Static curl binaries

Nix Updated 3 days ago 1 commits
synth-dev|Mirror: leanprover-community/static-curl (⭐0)
3 days ago

About

Static curl binaries

Readme