nixsearch
nixsearch / pkg / agdaPackages.cubical-mini / 0.5-unstable-2025-06-13

agdaPackages.cubical-mini 0.5-unstable-2025-06-13

Nonstandard library for Cubical Agda
Linux and macOS last changed

Pin this version

$ devbox add agdaPackages.cubical-mini@0.5-unstable-2025-06-13
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit319e4cebef10cbb636c6ea392137b52ad105336a 
$ nix shell github:NixOS/nixpkgs/319e4cebef10cbb636c6ea392137b52ad105336a#agdaPackages.cubical-mini
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#agdaPackages.cubical-mini

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.cubical-mini 319e4cebef10
out
/nix/store/9fhfaxymv5ri2l3qnkqx5a3d21ayj1mw-cubical-mini-0.5-unstable-2025-06-13
aarch64-linux
Linux · arm64		 agdaPackages.cubical-mini 319e4cebef10
out
/nix/store/6ycsry5ibrk8ipz7c4j7izp5lyyly2sg-cubical-mini-0.5-unstable-2025-06-13
x86_64-darwin
macOS · x86-64		 agdaPackages.cubical-mini 05988b07fb05
out
/nix/store/f324dnkzc3vdqzx5g4vhh7sr05y0xj1l-cubical-mini-0.5-unstable-2025-06-13
x86_64-linux
Linux · x86-64		 agdaPackages.cubical-mini 319e4cebef10
out
/nix/store/vyg6lyqcilvqfjq9kbkrdrssxhs9891h-cubical-mini-0.5-unstable-2025-06-13
← newer: 20241214 all 2 releases

JSON: /v2/pkg?name=agdaPackages.cubical-mini · /v2/resolve?name=agdaPackages.cubical-mini&version=0.5-unstable-2025-06-13