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

agdaPackages.agda-categories 0.3.0

New Categories library
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.agda-categories b6c8664de9b6
out
/nix/store/y7wm2ax8365l9k3p7kf5vr09s0wm8psb-agda-categories-0.3.0
aarch64-linux
Linux · arm64		 agdaPackages.agda-categories b6c8664de9b6
out
/nix/store/f7418am8nlhgf3z5fjz9y6jd5xkd2rmz-agda-categories-0.3.0
x86_64-darwin
macOS · x86-64		 agdaPackages.agda-categories 05988b07fb05
out
/nix/store/jlmf830krh75wddrg4dnvzg32ls2422s-agda-categories-0.3.0
x86_64-linux
Linux · x86-64		 agdaPackages.agda-categories b6c8664de9b6
out
/nix/store/vd51ja2ay5bmdchqqfph8hiyi6h6fqy0-agda-categories-0.3.0
all 2 releases older: 0.2.0 →

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