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