nixsearch
nixsearch / pkg / agdaPackages.generics / 1.0.1

agdaPackages.generics 1.0.1

Library for datatype-generic programming in Agda
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages.generics b6c8664de9b6
out
/nix/store/hskczpcrmmglv4hdd6i9bdrf9qz5r7g1-generics-1.0.1
aarch64-linux
Linux · arm64		 agdaPackages.generics b6c8664de9b6
out
/nix/store/z9vamb7wa25hchpx4bi7r2ak4w57g9x4-generics-1.0.1
x86_64-darwin
macOS · x86-64		 agdaPackages.generics 05988b07fb05
out
/nix/store/m8k9ssh1skyzq2bvhlilg3l44i4sjspk-generics-1.0.1
x86_64-linux
Linux · x86-64		 agdaPackages.generics b6c8664de9b6
out
/nix/store/mx0xvhd4f2yzpxyaglngvsz9ima50gcy-generics-1.0.1
all 1 releases

JSON: /v2/pkg?name=agdaPackages.generics · /v2/resolve?name=agdaPackages.generics&version=1.0.1