{"name":"beluga","version":"1.1.2","summary":"Functional language for reasoning about formal systems","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6a489c9482ca676ce23c0bcd7f2e1795383325fa"},"attr_path":"beluga"},"last_updated":"2025-08-04T03:33:26Z","outputs":[{"name":"out","path":"/nix/store/zwka2pah9nxifqr4pdpxr723xd52lbvv-ocaml5.3.0-beluga-1.1.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6a489c9482ca676ce23c0bcd7f2e1795383325fa"},"attr_path":"beluga"},"last_updated":"2025-08-04T03:33:26Z","outputs":[{"name":"out","path":"/nix/store/cxnjx1hn6mr2drdli63ygn71dps34qgf-ocaml5.3.0-beluga-1.1.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6a489c9482ca676ce23c0bcd7f2e1795383325fa"},"attr_path":"beluga"},"last_updated":"2025-08-04T03:33:26Z","outputs":[{"name":"out","path":"/nix/store/spr84vh3nlk8m838npjywsy5kcyaw79w-ocaml5.3.0-beluga-1.1.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6a489c9482ca676ce23c0bcd7f2e1795383325fa"},"attr_path":"beluga"},"last_updated":"2025-08-04T03:33:26Z","outputs":[{"name":"out","path":"/nix/store/2m5ma8520w93l015a5ba5phana96ndxg-ocaml5.3.0-beluga-1.1.2","default":true}]}}}