nixsearch
nixsearch / pkg / agdaPackages.cubical / 0.8

agdaPackages.cubical 0.8

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

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.cubical 8679b16e11be
out
/nix/store/0snaci7zrg0qkc703rqzx17xwv3cj3s7-cubical-0.8
aarch64-linux
Linux · arm64		 agdaPackages.cubical bf9fa86a9b10
out
/nix/store/hkavbnqfk24dixw8l78yibcv8kixzvnq-cubical-0.8
x86_64-darwin
macOS · x86-64		 agdaPackages.cubical 8679b16e11be
out
/nix/store/wvkvhy8ai8rkc32m6by9ch5yhhmfydzy-cubical-0.8
x86_64-linux
Linux · x86-64		 agdaPackages.cubical bf9fa86a9b10
out
/nix/store/mclw64bvzv84jdn0yffnqrclm71v5mv8-cubical-0.8
← newer: 0.9 all 3 releases older: 0.7 →

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