{"name":"ocamlPackages.cooltt","version":"2022-04-28","summary":"A cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/mk5q9yvxv1amz31f9n7pjfsx5lwlbizb-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/5gg76n2095a02yvrvxaqdkm22i7zfjw8-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/yzclp94y4cxwqr72jgi22y0hddnkzdcs-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/dfly0g9sb7sh8c7cbglh6hmr4wk9qb13-ocaml4.14.1-cooltt-unstable-2022-04-28","default":true}]}}}