{"name":"ocamlPackages_latest.type_eq","summary":"Type equality proofs for OCaml 4","description":"","homepage_url":"https://github.com/skolemlabs/type_eq","license":"MIT","attribute_paths":["ocamlPackages_latest.type_eq"],"releases":[{"version":"0.0.1","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.type_eq","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/l3cj18c4fgk0j06qhg19m372471vxald-ocaml5.5.0-type_eq-0.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.type_eq","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/d2zif5r2hsnlf9ycgd3lxbj72vn71wwm-ocaml5.5.0-type_eq-0.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.type_eq","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/c41iccnaip5qgcfjfzl73k8lz1ql1z6p-ocaml5.4.0-type_eq-0.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.type_eq","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/5c1v1gj1b8264ap8drg7riknvpdbcgm5-ocaml5.5.0-type_eq-0.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}