nixsearch
nixsearch / pkg / leanPackages.Qq / 4.29.0

leanPackages.Qq 4.29.0

Lean 4 compile-time quote and antiquote macros for metaprogramming
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 leanPackages.Qq 4a29d733e8a7
out
/nix/store/8db1p67cfry0p3pbcsjykqyp3fac520q-lean4-Qq-4.29.0
aarch64-linux
Linux · arm64		 leanPackages.Qq 4a29d733e8a7
out
/nix/store/cy5nigyvcl6ylmyzhd0hjjkb3bygyrc2-lean4-Qq-4.29.0
x86_64-darwin
macOS · x86-64		 leanPackages.Qq 4a29d733e8a7
out
/nix/store/chfqs5xa4zl510hrpw3mrf9r5zldcdry-lean4-Qq-4.29.0
x86_64-linux
Linux · x86-64		 leanPackages.Qq 4a29d733e8a7
out
/nix/store/34kd02452d39glmb2y3wi5vzpa443cf3-lean4-Qq-4.29.0
← newer: 4.30.0 all 2 releases

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