adacore/skills
codex-marketplaces via github-code
- Upstream
- github.com/adacore/skills
- Version
0-unstable-2026-11-03
Source details
- Revision
673773f4fc10224db3805befc18761c6400c460dcommit- Hash
sha256-s6rP7roF+MG/YiyQCtDR+08fsztVfDulaaZGwEJqKWE=- Snapshot
- data/codex-marketplaces/github.com/adacore/skills.json · latest JSON
1 package
adacore-skills
0-unstable-2026-11-03
·
.
pkgs.codex-marketplaces.github.adacore.skills.adacore-skillsBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-marketplaces.aarch64-darwin.github.adacore.skills.adacore-skills'
Lists 1 plugin:
plugins/adacore
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.