{"name":"ocamlPackages_latest.smtml","summary":"SMT solver frontend for OCaml","description":"","homepage_url":"https://formalsec.github.io/smtml/smtml/","license":"MIT","attribute_paths":["ocamlPackages_latest.smtml"],"releases":[{"version":"0.28.0","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/xb6b9lyvnbpklq1im3kglslx5i47i5ya-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/lg0nymjnr6s0z186nhv7i4fs7sjdqfdy-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/9p90iw7zln7c6m89dw9v4dvx2xkcjixy-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.20.0","last_updated":"2026-02-13T23:34:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/3jf6ays50lks1jhvhk39kd02vrinf4f6-ocaml5.4.0-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/qag7mqw9mks9q2biih7jlns48y7wc29v-ocaml5.4.0-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/r8d98nx5j5r9ny0387wf4vawj5r655jl-ocaml5.4.0-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/v435ngwp6zy3gbljzpy16nhyv90rbwpj-ocaml5.4.0-smtml-0.20.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.19.0","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/knh3pp8rclrgwdaknqgmzbk79szavb6k-ocaml5.4.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/ig6pgrjs3kgg8ba058i7cn4maiwaq2is-ocaml5.4.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/hnfyd0g9wwrrf2cy4hkp4lfphgnsryvi-ocaml5.4.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/mkqb308x419ikwkv6a0cqc9kygmwwnfs-ocaml5.4.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.18.0","last_updated":"2026-01-13T11:13:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"61db79b0c6b838d9894923920b612048e1201926","date":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/q8scm544hims2bfl8wvyiwmr2y9s77x1-ocaml5.4.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"61db79b0c6b838d9894923920b612048e1201926","date":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/n6a00zmwbrwfxv9lqbyal1iraj166v2g-ocaml5.4.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"61db79b0c6b838d9894923920b612048e1201926","date":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/mv5rba4zg1ijf2d39fs4x4sdwwcrl2ls-ocaml5.4.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.smtml","commit_hash":"61db79b0c6b838d9894923920b612048e1201926","date":"2026-01-13T11:13:53Z","outputs":[{"name":"out","path":"/nix/store/rv3bvawkg7rcjlvpnxjl5cjs9y7091p9-ocaml5.4.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}