{"name":"leanPackages.Qq","version":"4.34.0-unstable-2026-09-14","summary":"Lean 4 compile-time quote and antiquote macros for metaprogramming","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"leanPackages.Qq"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/k4kf69jlsxjyhcqr7cj65vr1ip28jpnx-lean4-Qq-4.34.0-unstable-2026-09-14","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"leanPackages.Qq"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/5pcb5k5kz8gkijb4lly9mcqi1angql8f-lean4-Qq-4.34.0-unstable-2026-09-14","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"leanPackages.Qq"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/lf518cqfssh0aznnxd11vb2zhk6p5w5h-lean4-Qq-4.34.0-unstable-2026-09-14","default":true}]}}}