cameronfreer/lean4-skills
codex-marketplaces via github-code
- Upstream
- github.com/cameronfreer/lean4-skills
- Version
4.11.4
Source details
- Revision
v4.11.4tag- Hash
sha256-dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=- Snapshot
- data/codex-marketplaces/github.com/cameronfreer/lean4-skills.json · latest JSON
1 package
lean4-skills
4.11.4
·
.
pkgs.codex-marketplaces.github.cameronfreer.lean4-skills.lean4-skillsBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-marketplaces.aarch64-darwin.github.cameronfreer.lean4-skills.lean4-skills'
Lists 1 plugin:
plugins/lean4
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.