{"name":"haskellPackages.smtlib-backends-z3","version":"0.3.1","summary":"An SMT-LIB backend implemented using Z3's C API","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.smtlib-backends-z3"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/7fi6i78ifxj159nihgip8r61al4h1g9k-smtlib-backends-z3-0.3.1","default":true},{"name":"doc","path":"/nix/store/2d6xvz7gdhgg2y1k0am5cvld35wmm254-smtlib-backends-z3-0.3.1-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.smtlib-backends-z3"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/xjfik8r3g12d69h4w299q453w41hn92s-smtlib-backends-z3-0.3.1","default":true},{"name":"doc","path":"/nix/store/q3hl38m743127jfcrlscxil5hh1m478q-smtlib-backends-z3-0.3.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.smtlib-backends-z3"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/dvlvjirg743k4bxbahqzwfv3a1x77fj5-smtlib-backends-z3-0.3.1","default":true},{"name":"doc","path":"/nix/store/ha8lxzilqm2fqig2x0ywiz8yi6nksmzx-smtlib-backends-z3-0.3.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.smtlib-backends-z3"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/91bshkpbfwf88q7sma2p6cw2bvcmmrgf-smtlib-backends-z3-0.3.1","default":true},{"name":"doc","path":"/nix/store/3q5ihrc9z57m96aqh6c3pzv11086gym8-smtlib-backends-z3-0.3.1-doc"}]}}}