{"name":"python314Packages.z3-solver","version":"4.15.7","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/3phav67hcik5db85a4b37vq0rja656q2-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/c6s63kb1n7zcbilhqqpxsgjzxvqpv16y-z3-4.15.7","default":true},{"name":"lib","path":"/nix/store/1hp5vwlcr3ld5vlcnkyb0i5p1zwhgs9a-z3-4.15.7-lib"},{"name":"dev","path":"/nix/store/algps1rsyy2vy93nw4r3l0ic5wac9xdq-z3-4.15.7-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/8jsz9nsqj684qy0idiadyffhmn4s9c2v-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/h5yph24mq1wya92dkpjn7271mz6ywd55-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/67fahsv8jh4kh910sdrmwk3w1lpiw9lp-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/w9c47ygl076izv4g9hxgp4jzxyxyddlq-z3-4.15.7-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/axcdccnr6f2mzbv9zcaxkpsgb5k8fjp1-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/pgad9w9lgwjv9i1ryipcpyl61zz6chr8-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/n381g19z93qikvc3vi867vvss59y47kh-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/2d6ag7f7kx7r6v6y7b6hr2qn0qqcsn14-z3-4.15.7-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae"},"attr_path":"python314Packages.z3-solver"},"last_updated":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/kvz4w75a25vmivvnrisv6gcrbmj91ydn-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/h7jdga0031q0ailfp8ivlsm8d6w3qkx4-z3-4.15.7","default":true},{"name":"lib","path":"/nix/store/apnksf7pq9f3v767jny6j9hcdf3kbz3w-z3-4.15.7-lib"},{"name":"dev","path":"/nix/store/ywn465csfnrcah4km5wb1xf9vnz2h1ah-z3-4.15.7-dev"}]}}}