{"name":"agdaPackages.cubical","version":"0.8","summary":"Cubical type theory library for use with the Agda compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages.cubical"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0snaci7zrg0qkc703rqzx17xwv3cj3s7-cubical-0.8","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages.cubical"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/hkavbnqfk24dixw8l78yibcv8kixzvnq-cubical-0.8","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages.cubical"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/wvkvhy8ai8rkc32m6by9ch5yhhmfydzy-cubical-0.8","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages.cubical"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/mclw64bvzv84jdn0yffnqrclm71v5mv8-cubical-0.8","default":true}]}}}