{"name":"ocamlPackages.z3","summary":"Z3 Theorem Prover (OCaml API)","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["ocamlPackages.z3"],"releases":[{"version":"5.1.0","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/0h8r4q6q46c4j4dp3wa22ilg566ylg2k-ocaml5.5.0-z3-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/g37hxgvi6d3zznv4da1d7xp2zwi7n04y-ocaml5.5.0-z3-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/d8fb6xd6642wla1ws6rsgaly7s99sll5-ocaml5.5.0-z3-5.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.16.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/sajabfdy5y9ma9n6nyx2wz75k583qh1b-ocaml5.5.0-z3-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/q4wbb4imsj7q1bz9zx3vaaqmfnw7wakm-ocaml5.5.0-z3-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/zvpj48arxmd35xv6c4anx6gxrmrplp8y-ocaml5.4.1-z3-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/901gifpvbi71p93vsbm8d21mnbvm8n8y-ocaml5.5.0-z3-4.16.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.8","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/jgz7aw9afjgrvkw8qh137ry4y0znij07-ocaml5.4.1-z3-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/l3nflg878p7wci7pzqiyrn52pqdis6c7-ocaml5.4.1-z3-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/fjzcxmk5wgwwf6f08rixfc43a5vma1zp-ocaml5.4.1-z3-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/k389s0rv7c7yk1kbsp34igh0dl90piiv-ocaml5.4.1-z3-4.15.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.7","last_updated":"2026-02-13T23:34:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/q261qn6zm3d6xzn46x8aaz7r20yahb86-ocaml5.3.0-z3-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/732a20dl3awwa28ggjgzldg04dac0lhp-ocaml5.3.0-z3-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/805p1y4asllk3gipngk0l7fw9gj7hwl6-ocaml5.3.0-z3-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/iddp6w8glxma3cahkjysri4i6b46qgnj-ocaml5.3.0-z3-4.15.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.4","last_updated":"2026-02-06T12:24:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/jq4sf7y6qpby5q03vg325p0i2jlldc7w-ocaml5.3.0-z3-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/ndx77r4cb12q7hfxfgkgaf38s28dsz31-ocaml5.3.0-z3-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/7srp7fngvyky1d4l99f8cvkbl8z1mnds-ocaml5.3.0-z3-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/c7grypmwlgjh554nyk3yk7cy3iqbyvgd-ocaml5.3.0-z3-4.15.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.3","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/6pzyi6f5fql44bm1vw54yjn41x1pw2vw-ocaml5.3.0-z3-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/bhnpxcvj5fc6d45q6lxszrivij1f26nn-ocaml5.3.0-z3-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/9n2kwi2dviqkicsfg6m8ijq7hgks3nsy-ocaml5.3.0-z3-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/1hmydp7yw8rpcajwd60qak7gknhh1ijd-ocaml5.3.0-z3-4.15.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.2","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/fp5252a2r87al134hpbvi5ybs5q868rz-ocaml5.3.0-z3-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/c0iqcv5pw79fz47rmk73yrzkfy89jlj8-ocaml5.3.0-z3-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/wrrmxfx9w4ngcxsv4wv8mhd38hnjpazi-ocaml5.3.0-z3-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/89lsfhh5mpd91sfsf1pmk7f343lwksfn-ocaml5.3.0-z3-4.15.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.1","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/jagilqyjycgmrhz2g8h2pbkpjwykgflh-ocaml5.3.0-z3-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/120qd85vmywqrlxijbfg46narycz4dmh-ocaml5.3.0-z3-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/yd99pcqbd2h74j2iq21ahrnf5lc5bbq2-ocaml5.3.0-z3-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/d6nc82iywnfqgyv9v3ygsyzh5w5hmgbk-ocaml5.3.0-z3-4.15.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.0","last_updated":"2025-05-22T13:30:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/xv1kbsgr2n4j569645z14rhw0wzf0qg5-ocaml5.3.0-z3-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/aqm6bgrply6zirpadkj78wq5aa89dznm-ocaml5.3.0-z3-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/f4m3h881193zlihzdvga6zn63n070n96-ocaml5.3.0-z3-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/dih2z1624f7a2d50in19gq9x66n0qr2r-ocaml5.3.0-z3-4.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.14.1","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/pv5ph1jzfxlah271qwvnmdin3kdf925m-ocaml5.3.0-z3-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/8j2l0fsq9vd6azf8g17fk5hk26jb7hrc-ocaml5.3.0-z3-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/31gp68cn7s5d3ji542gkvhvl7wawbfsy-ocaml5.3.0-z3-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/lqlkvpll2bnbz24w88j027982n4jg8vf-ocaml5.3.0-z3-4.14.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.13.4","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/1rq7rd3bysjz298ly30a3n41r6ym7pzn-ocaml5.3.0-z3-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/g462alsz3glwy2fmmp3wa5zffx5f4f4c-ocaml5.3.0-z3-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/0vhl7jy9biv29qwhvbyxq2jc2ygdn5vb-ocaml5.3.0-z3-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/vh8np9yn5a124rqkinr0jsd3l8kjql9x-ocaml5.3.0-z3-4.13.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.17","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/f95y82lwkd5hl2xi0h8h47p2rhspx4ff-ocaml5.2.1-z3-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/x114k50wrms3rpncfk5bb3zsyizgb254-ocaml5.2.1-z3-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/j6fnsvf4b5zd8s4l6sb67fs9wz9xck54-ocaml5.2.1-z3-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/81rca6fw2lh1h4b3bcm8yq3ir1rikiry-ocaml5.2.1-z3-4.8.17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.15","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/5hklsmnyk34sqzjqvivgw66r4djr8ijm-ocaml4.14.1-z3-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/26kqhd9r5jv0x562jc75xfvswwc29dlx-ocaml4.14.1-z3-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/hkaz0kk0bpif05fsg74xxnx6x14qa4lf-ocaml4.14.1-z3-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/1jxxds8c8l5qh5420hvpz32nh63mwg2g-ocaml4.14.1-z3-4.8.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.14","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/vq9khlxnf85j247c56fdjbyq11ga11vn-ocaml4.13.1-z3-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/x2gwip4lpz6rxysmrw9lik3p3majr3k9-ocaml4.13.1-z3-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/bavpvm953099ihcp2k75v3rpb751cc3a-ocaml4.13.1-z3-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.12","last_updated":"2022-01-01T05:55:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.10","last_updated":"2021-09-26T10:07:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.9","last_updated":"2021-01-31T03:57:17Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.z3","commit_hash":"b76d44b9612b0f2117cbce00a9e9508f068c752e","date":"2021-01-31T03:57:17Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}