{"name":"ocamlPackages.smtml","summary":"SMT solver frontend for OCaml","description":"","homepage_url":"https://formalsec.github.io/smtml/smtml/","license":"MIT","attribute_paths":["ocamlPackages.smtml"],"releases":[{"version":"0.28.0","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/kgp9l2i0nzx8n4rf5rlw34slhnc1jv63-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/srmja2pqcq2i11b53s98zg8n14ix031m-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/2cgv96gg9wbckjzir228dy6h3d6kxpmh-ocaml5.4.1-smtml-0.28.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/3jck0g12nqj91fl29bfzhh8mhfa5rlwr-ocaml5.5.0-smtml-0.28.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.27.0","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/3fjsnda2fzidypv8yd9qyhiiwnisri1m-ocaml5.4.1-smtml-0.27.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/vd9f5gif789s4s6kiqh2mwmhwy2shg95-ocaml5.4.1-smtml-0.27.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/8vkr769i5mywy207rx42qblsb8rlv4zp-ocaml5.4.1-smtml-0.27.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/8k1rzxri3ggsp4zidv8xh6q6i3v0bksg-ocaml5.4.1-smtml-0.27.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.26.0","last_updated":"2026-04-30T11:26:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/idppz6p730nbpd1d83xjn6jbwkwa5s6v-ocaml5.4.1-smtml-0.26.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/glya8j0qn666xk5ckvw1pm0abqlshnr8-ocaml5.4.1-smtml-0.26.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/nky0qfby2qj7d369fngcb4mvck40pc7p-ocaml5.4.1-smtml-0.26.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"7aaa00e7cc9be6c316cb5f6617bd740dd435c59d","date":"2026-04-30T11:26:30Z","outputs":[{"name":"out","path":"/nix/store/18mgw7c12r4pq75rf2mwh7vmcvp28nkw-ocaml5.4.1-smtml-0.26.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.25.0","last_updated":"2026-04-27T06:11:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"6368eda62c9775c38ef7f714b2555a741c20c72d","date":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/byv0fi05nqfr16j6hc2wps8819hi3zzc-ocaml5.4.1-smtml-0.25.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"6368eda62c9775c38ef7f714b2555a741c20c72d","date":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/lmrwpcgnwsmy3pnkc76l1pzvbb7dbsz2-ocaml5.4.1-smtml-0.25.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"6368eda62c9775c38ef7f714b2555a741c20c72d","date":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/y599v3dp0px8rqh7rf0whr40n9lkq7dh-ocaml5.4.1-smtml-0.25.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"6368eda62c9775c38ef7f714b2555a741c20c72d","date":"2026-04-27T06:11:55Z","outputs":[{"name":"out","path":"/nix/store/vlz9gd7mqq7s9j1aczcrbbsk27ic71s3-ocaml5.4.1-smtml-0.25.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.24.0","last_updated":"2026-04-16T08:46:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/79vy3qw4mgr5ywkyy8hq20ygvmxqaghw-ocaml5.4.1-smtml-0.24.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/vp27gv15x4bap6nfl39xygjkqjcvqnl0-ocaml5.4.1-smtml-0.24.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/gi2h6220xn782w34apdjbciiwl4jpb03-ocaml5.4.1-smtml-0.24.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/6nlpgkyidzf7s0sayskvffd0hf2dq30s-ocaml5.4.1-smtml-0.24.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.20.0","last_updated":"2026-03-28T12:40:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/n11kdgazj9lc4adqhrvqdw0ap9dzbb4i-ocaml5.4.1-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/0vavmkqxq9wgwqsynm50p10xvmryk653-ocaml5.4.1-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/6kcv7951xkrs3ahbxfw8hh67yhca966r-ocaml5.4.1-smtml-0.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/i93m45pmsfkwkkgpk159zl90s8ysj4k7-ocaml5.4.1-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.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/r6qg4g8drv6n50z9rkazc7xfdx2m10d7-ocaml5.3.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/lir46frvxydlamddaf915x76sx7h9mgr-ocaml5.3.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/5bc7g9l35nq5kmk52vzl1nxpxnk86sff-ocaml5.3.0-smtml-0.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/irvqh662s064c8sy4yw0bpcb6srm2j0h-ocaml5.3.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-09T13:41:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"5f02c91314c8ba4afe83b256b023756412218535","date":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/8kyc3r0rzzhqzyjzxddvs16r34wwx78h-ocaml5.3.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"5f02c91314c8ba4afe83b256b023756412218535","date":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/5m33p8aiw3w9zrwqy2f4b298nwrjh6wy-ocaml5.3.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"5f02c91314c8ba4afe83b256b023756412218535","date":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/89msvjcsl8b06c5yv2yrx0ar8wz3wfky-ocaml5.3.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"5f02c91314c8ba4afe83b256b023756412218535","date":"2026-01-09T13:41:53Z","outputs":[{"name":"out","path":"/nix/store/7ya1h3nwxfnjh0b11kxhy4xchkr6macf-ocaml5.3.0-smtml-0.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.17.0","last_updated":"2025-12-29T16:45:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/2m72q35dp00vcrfbmqd895sj4x15lddv-ocaml5.3.0-smtml-0.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/11arryflyvvi58wfa0wwy30jwmy4sbhg-ocaml5.3.0-smtml-0.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/qh1j6hpff0mbmsxkh3yxn1vpyb6x7ysf-ocaml5.3.0-smtml-0.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"346dd96ad74dc4457a9db9de4f4f57dab2e5731d","date":"2025-12-29T16:45:58Z","outputs":[{"name":"out","path":"/nix/store/yj7v0fppmnb0p2g4z0c52k7rsl9hwlds-ocaml5.3.0-smtml-0.17.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.15.0","last_updated":"2025-12-21T10:48:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055","date":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/202dpw5p7m738qjzinsqahh5k37hci1v-ocaml5.3.0-smtml-0.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055","date":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/ql5g756n4wswifqm0xccs07km7fqcsrr-ocaml5.3.0-smtml-0.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055","date":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/1za8adgph77bv0bbf7k9rqs2yppmrmm4-ocaml5.3.0-smtml-0.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"306ea70f9eb0fb4e040f8540e2deab32ed7e2055","date":"2025-12-21T10:48:17Z","outputs":[{"name":"out","path":"/nix/store/mvh3zi4i2pfcz1cz3cqv9f8z32m5snpl-ocaml5.3.0-smtml-0.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.13.0","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/6chs1m4pwn2ag6585mxv6cnkhnxajxjn-ocaml5.3.0-smtml-0.13.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/nk31gx3mnng1mhs3r7gaymqa42q49h8h-ocaml5.3.0-smtml-0.13.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/7bffaf4hm2qc9fcn0fg1r33c6y1gs0c6-ocaml5.3.0-smtml-0.13.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/4ya36a300df34b9c1p8nqzzw7zcfsdbv-ocaml5.3.0-smtml-0.13.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.12.0","last_updated":"2025-10-26T01:09:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"de69d2ba6c70e747320df9c096523b623d3a4c35","date":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/p9hqlxici2s9sd3h7h5sz3ryxg6jcg2a-ocaml5.3.0-smtml-0.12.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"de69d2ba6c70e747320df9c096523b623d3a4c35","date":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/5n0cvfr337pdpifjwyjsxmh5bb91kmqx-ocaml5.3.0-smtml-0.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"de69d2ba6c70e747320df9c096523b623d3a4c35","date":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/8dj11lij9zb6mb5b7j63ymivc0j32ni8-ocaml5.3.0-smtml-0.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"de69d2ba6c70e747320df9c096523b623d3a4c35","date":"2025-10-26T01:09:48Z","outputs":[{"name":"out","path":"/nix/store/i9a251irhmr711bpjp9x6s28bn40wrni-ocaml5.3.0-smtml-0.12.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.10.0","last_updated":"2025-10-18T10:07:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/76yj46lq69yanzj34d9mg0gmqgjblcj7-ocaml5.3.0-smtml-0.10.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/nrhqfakyvqlcqv372z9x9mll6a72vzxk-ocaml5.3.0-smtml-0.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/g8kn759v9gb9djwkk52dkjy5ny82a2xp-ocaml5.3.0-smtml-0.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/blz8mvbjdzqskrpply1vyfvsis6m4qqk-ocaml5.3.0-smtml-0.10.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.0","last_updated":"2025-08-12T09:17:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/hzmxxf3kx124qmaq4ayyqi9795vnik2b-ocaml5.3.0-smtml-0.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/m60wgpgqj93w0i5ni39gzva5jys63cv4-ocaml5.3.0-smtml-0.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/a0rskslh78gdilj61bw1z18w2mlryj2k-ocaml5.3.0-smtml-0.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/cr1aq07ync9fxi7ykmpdlg7998raamci-ocaml5.3.0-smtml-0.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.0","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/1psy3hxcglyb6655qpi962ap19qid3yk-ocaml5.3.0-smtml-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/rwfgb6zsipzhi682i52pwahy978msjsq-ocaml5.3.0-smtml-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.smtml","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/hn6nxfwcfjqdlabs4ms30pd5bsmkh864-ocaml5.3.0-smtml-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.smtml","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/fgp1m0na7ywb5zvxvczpy54v84wn387w-ocaml5.3.0-smtml-0.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}