{"name":"haskellPackages.smtlib-backends-tests","version":"0.3","summary":"Testing SMT-LIB backends","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.smtlib-backends-tests"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/a51g5x0bzm3x1jzc2fb5jv1m5nxj4hvb-smtlib-backends-tests-0.3","default":true},{"name":"doc","path":"/nix/store/51yrbzlq6whszshm0qm0vxfhdxnizb4a-smtlib-backends-tests-0.3-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.smtlib-backends-tests"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/dkfkak7rzmm74g6g364jnmldnhj1mmxi-smtlib-backends-tests-0.3","default":true},{"name":"doc","path":"/nix/store/bghlck5765gqs0pph1qizzh0h7qayswr-smtlib-backends-tests-0.3-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.smtlib-backends-tests"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/72qvss7h351869v35b0ii0h7300xhrvj-smtlib-backends-tests-0.3","default":true},{"name":"doc","path":"/nix/store/jcrzgj8dxcspbwy6mbyzz85x8364gkwf-smtlib-backends-tests-0.3-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"haskellPackages.smtlib-backends-tests"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/kychwndz769gc6z14r1w9qr9g516z5z1-smtlib-backends-tests-0.3","default":true},{"name":"doc","path":"/nix/store/i6ba8crw3cr9kq5rxvym325g3893cb4w-smtlib-backends-tests-0.3-doc"}]}}}