{"name":"haskellPackages.smtlib-backends-tests","summary":"Testing SMT-LIB backends","description":"","homepage_url":"https://hackage.haskell.org/package/smtlib-backends-tests","license":"MIT","attribute_paths":["haskellPackages.smtlib-backends-tests"],"releases":[{"version":"0.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.smtlib-backends-tests","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.smtlib-backends-tests","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.smtlib-backends-tests","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.smtlib-backends-tests","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}