nixsearch / pkg / gprbuild-boot / 22.0.0
gprbuild-boot 22.0.0
Multi-language extensible build tool
Linux
last changed
Pin this version
$ devbox add gprbuild-boot@22.0.0
$ nix shell github:NixOS/nixpkgs/69f8e94c46904a3194afcc8b232402287c7f91c9#gprbuild-boot
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
gprbuild-boot |
69f8e94c4690 | out/nix/store/156v3vcd3qwr257f1b8xdy21c4kfldd7-gprbuild-boot-22.0.0 |
JSON: /v2/pkg?name=gprbuild-boot · /v2/resolve?name=gprbuild-boot&version=22.0.0