{"name":"agdaPackages.cubical-mini","version":"20241214","summary":"Nonstandard library for Cubical Agda","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/dbvifm8mqhcrrj1xpy2lvhirnf8c7fqy-cubical-mini-nightly-20241214","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/3g4j4dnnw5js1v266h3xmqrp61lv067y-cubical-mini-nightly-20241214","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/931l3022r5lvri2r2gn8np802pwws6zp-cubical-mini-nightly-20241214","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages.cubical-mini"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/zf2fjb5jqjd9mb5f1nm4j58700a33f2s-cubical-mini-nightly-20241214","default":true}]}}}