nixsearch
nixsearch / pkg / agdaPackages.cubical / 0.9

agdaPackages.cubical 0.9

Cubical type theory library for use with the Agda compiler
Linux and macOS last changed

Pin this version

$ devbox add agdaPackages.cubical@0.9
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#agdaPackages.cubical
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#agdaPackages.cubical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.cubical b6c8664de9b6
out
/nix/store/q44rkf66igr1fg38f6gkjqc8rmhbm1k1-cubical-0.9
aarch64-linux
Linux · arm64		 agdaPackages.cubical b6c8664de9b6
out
/nix/store/q51v2zhhyrdqsnb8w8kdk0slvg03lcn3-cubical-0.9
x86_64-darwin
macOS · x86-64		 agdaPackages.cubical 05988b07fb05
out
/nix/store/8lay6djdabd201v9mdng3d929cbjb3c1-cubical-0.9
x86_64-linux
Linux · x86-64		 agdaPackages.cubical b6c8664de9b6
out
/nix/store/qck3sr06n153jbyj6j59nifnx5f9ah6p-cubical-0.9
all 3 releases older: 0.8 →

JSON: /v2/pkg?name=agdaPackages.cubical · /v2/resolve?name=agdaPackages.cubical&version=0.9