nixsearch
nixsearch / pkg / agdaPackages.agda-categories / 0.2.0

agdaPackages.agda-categories 0.2.0

New Categories library
Linux and macOS last changed

Pin this version

$ devbox add agdaPackages.agda-categories@0.2.0
systemsaarch64-darwin, x86_64-darwin commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#agdaPackages.agda-categories
systemsaarch64-linux, x86_64-linux commitbf9fa86a9b1005d932f842edf2c38eeecc98eef3 
$ nix shell github:NixOS/nixpkgs/bf9fa86a9b1005d932f842edf2c38eeecc98eef3#agdaPackages.agda-categories

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.agda-categories 648f70160c03
out
/nix/store/bgdwx6f1gbycsmmdpsc33fyy83xq3cw8-agda-categories-0.2.0
aarch64-linux
Linux · arm64		 agdaPackages.agda-categories bf9fa86a9b10
out
/nix/store/82vn0rqxmxszabr29n3x4q83sqyqxsy5-agda-categories-0.2.0
x86_64-darwin
macOS · x86-64		 agdaPackages.agda-categories 648f70160c03
out
/nix/store/m3jfd6dzl077m5diyppd9lya9vq3b0vn-agda-categories-0.2.0
x86_64-linux
Linux · x86-64		 agdaPackages.agda-categories bf9fa86a9b10
out
/nix/store/vppccq89w1857xfpxjybrahvlxn24r0y-agda-categories-0.2.0
← newer: 0.3.0 all 2 releases

JSON: /v2/pkg?name=agdaPackages.agda-categories · /v2/resolve?name=agdaPackages.agda-categories&version=0.2.0