nixsearch
nixsearch / pkg / idris2Packages.idris2 / 0.8.0

idris2Packages.idris2 0.8.0

Purely functional programming language with first class types
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add idris2Packages.idris2@0.8.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#idris2Packages.idris2

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 idris2Packages.idris2 b6c8664de9b6
out
/nix/store/awpacvgsj46bhq0jjkk6811ldvlw4f38-idris2-wrapped-0.8.0
aarch64-linux
Linux · arm64		 idris2Packages.idris2 b6c8664de9b6
out
/nix/store/naiwnnagg6iw1a903ljc2a4f3ia4i7qm-idris2-wrapped-0.8.0
x86_64-linux
Linux · x86-64		 idris2Packages.idris2 b6c8664de9b6
out
/nix/store/xb4qcafadkgaz06x9v76hpfhqv6mck72-idris2-wrapped-0.8.0
all 1 releases

JSON: /v2/pkg?name=idris2Packages.idris2 · /v2/resolve?name=idris2Packages.idris2&version=0.8.0