nixsearch
nixsearch / pkg / leanPackages.Cli / 4.29.0

leanPackages.Cli 4.29.0

Command-line argument parser for Lean 4
Linux and macOS last changed

Pin this version

$ devbox add leanPackages.Cli@4.29.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2 
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#leanPackages.Cli

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 leanPackages.Cli 4a29d733e8a7
out
/nix/store/n85ccrhnnjc5dx2q7kpicpgaixixg9yh-lean4-cli-4.29.0
aarch64-linux
Linux · arm64		 leanPackages.Cli 4a29d733e8a7
out
/nix/store/n5ya5489pypclbd0cidrmlsivsywv7dv-lean4-cli-4.29.0
x86_64-darwin
macOS · x86-64		 leanPackages.Cli 4a29d733e8a7
out
/nix/store/3njzs830n8yi3iyhykj7794mqbp5sqkj-lean4-cli-4.29.0
x86_64-linux
Linux · x86-64		 leanPackages.Cli 4a29d733e8a7
out
/nix/store/7vl49sv4mxhycdhnz1wddmqjqh7jwq0v-lean4-cli-4.29.0
← newer: 4.30.0 all 2 releases

JSON: /v2/pkg?name=leanPackages.Cli · /v2/resolve?name=leanPackages.Cli&version=4.29.0