nixsearch
nixsearch / pkg / agdaPackages.cubical-mini / 20241214

agdaPackages.cubical-mini 20241214

Nonstandard library for Cubical Agda
Linux and macOS last changed

Pin this version

$ devbox add agdaPackages.cubical-mini@20241214
systemsaarch64-darwin, x86_64-darwin commit8679b16e11becd487b45d568358ddf9d5640d860 
$ nix shell github:NixOS/nixpkgs/8679b16e11becd487b45d568358ddf9d5640d860#agdaPackages.cubical-mini
systemsaarch64-linux, x86_64-linux commitbf9fa86a9b1005d932f842edf2c38eeecc98eef3 
$ nix shell github:NixOS/nixpkgs/bf9fa86a9b1005d932f842edf2c38eeecc98eef3#agdaPackages.cubical-mini

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.cubical-mini 8679b16e11be
out
/nix/store/dbvifm8mqhcrrj1xpy2lvhirnf8c7fqy-cubical-mini-nightly-20241214
aarch64-linux
Linux · arm64		 agdaPackages.cubical-mini bf9fa86a9b10
out
/nix/store/3g4j4dnnw5js1v266h3xmqrp61lv067y-cubical-mini-nightly-20241214
x86_64-darwin
macOS · x86-64		 agdaPackages.cubical-mini 8679b16e11be
out
/nix/store/931l3022r5lvri2r2gn8np802pwws6zp-cubical-mini-nightly-20241214
x86_64-linux
Linux · x86-64		 agdaPackages.cubical-mini bf9fa86a9b10
out
/nix/store/zf2fjb5jqjd9mb5f1nm4j58700a33f2s-cubical-mini-nightly-20241214
all 2 releases older: 0.5-unstable-2025-06-13 →

JSON: /v2/pkg?name=agdaPackages.cubical-mini · /v2/resolve?name=agdaPackages.cubical-mini&version=20241214