{"name":"agdaPackages.cubical-mini","version":"0.5-unstable-2025-06-13","summary":"Nonstandard library for Cubical Agda","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/87dls1182pk3ybqrkrv0x2ynga2hxbj1-cubical-mini-0.5-unstable-2025-06-13","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/5mm2nc6nz826vc7b7lmvxai4l3s3i31k-cubical-mini-0.5-unstable-2025-06-13","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/f324dnkzc3vdqzx5g4vhh7sr05y0xj1l-cubical-mini-0.5-unstable-2025-06-13","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/34prym9qp9x1phybb21pf7vr2qxd1qdb-cubical-mini-0.5-unstable-2025-06-13","default":true}]}}}