{"name":"beluga","version":"1.0","summary":"A functional language for reasoning about formal systems","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"beluga"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/zynnl5rqvmrafpgrw7rpcs2cc9qdk2n1-ocaml4.14.1-beluga-1.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"beluga"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/blvkpqwnh5y503b2lngxkdqqhvczavy0-ocaml4.14.1-beluga-1.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"beluga"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/5m63qnf3h0plwwkf24q4x83x8nv0pn3l-ocaml4.14.1-beluga-1.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"beluga"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/9bgz08ynrq6j458vf3y08ncnv9hddv5q-ocaml4.14.1-beluga-1.0","default":true}]}}}