{"name":"ocamlPackages.cooltt","version":"2021-05-25","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":"cce0667703fce3a1162dd252cf0864fdf83466ab"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/2qsr9jiwxhr8kh53yhvwmp7b1ldy8m0k-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cce0667703fce3a1162dd252cf0864fdf83466ab"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/g2fv2ivikgwi3ix5gkz9s2fwllrskg13-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cce0667703fce3a1162dd252cf0864fdf83466ab"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/s98hqvicrx2apghjsn09vp20ghvqlz51-ocaml4.13.1-cooltt-unstable-2021-05-25","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cce0667703fce3a1162dd252cf0864fdf83466ab"},"attr_path":"ocamlPackages.cooltt"},"last_updated":"2022-05-28T02:13:38Z"}}}