nixsearch
nixsearch / pkg / agdaPackages.cubical / 0.7

agdaPackages.cubical 0.7

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

Pin this version

$ devbox add agdaPackages.cubical@0.7
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit12a55407652e04dcf2309436eb06fef0d3713ef3 
$ nix shell github:NixOS/nixpkgs/12a55407652e04dcf2309436eb06fef0d3713ef3#agdaPackages.cubical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.cubical 12a55407652e
out
/nix/store/23ywdcm4k3nysc9ng06z27zh4wn5ib95-cubical-0.7
aarch64-linux
Linux · arm64		 agdaPackages.cubical 12a55407652e
out
/nix/store/ixf65sjx8zs2fmvmjqamhq4w5zw3pzn6-cubical-0.7
x86_64-darwin
macOS · x86-64		 agdaPackages.cubical 12a55407652e
out
/nix/store/hc0v2ci949yi5c27z3xsf7sdjn8lc0pm-cubical-0.7
x86_64-linux
Linux · x86-64		 agdaPackages.cubical 12a55407652e
out
/nix/store/07700hc6yc9hyyyxbsbfknl0lhlhfsy6-cubical-0.7
← newer: 0.8 all 3 releases

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