{"name":"ocamlPackages.cooltt","summary":"Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory","description":"","homepage_url":"https://github.com/RedPRL/cooltt","license":"Apache-2.0","attribute_paths":["ocamlPackages.cooltt"],"releases":[{"version":"2023-10-03","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/kqbw1j019b11rs95b6nmrq3gh1sf698h-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4bsp810knjy8plzd38cf2ippqwplim7y-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/wc7kvkm0fsnrdhdm350v1yaj5xcb0s59-ocaml5.4.1-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/hzhd9zjy83ym82j87k4bj6dkxlakwwpz-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-04-28","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/mk5q9yvxv1amz31f9n7pjfsx5lwlbizb-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/5gg76n2095a02yvrvxaqdkm22i7zfjw8-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/yzclp94y4cxwqr72jgi22y0hddnkzdcs-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/dfly0g9sb7sh8c7cbglh6hmr4wk9qb13-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2021-05-25","last_updated":"2022-05-28T02:13:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"cce0667703fce3a1162dd252cf0864fdf83466ab","date":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/2qsr9jiwxhr8kh53yhvwmp7b1ldy8m0k-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"cce0667703fce3a1162dd252cf0864fdf83466ab","date":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/g2fv2ivikgwi3ix5gkz9s2fwllrskg13-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.cooltt","commit_hash":"cce0667703fce3a1162dd252cf0864fdf83466ab","date":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/s98hqvicrx2apghjsn09vp20ghvqlz51-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.cooltt","commit_hash":"cce0667703fce3a1162dd252cf0864fdf83466ab","date":"2022-05-28T02:13:38Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}