nixsearch / pkg / idris2Packages.idris2
idris2Packages.idris2
Purely functional programming language with first class types
version0.8.0
attributeidris2Packages.idris2
revb6c8664de9b6cc07fe5666a29f91884ba81197c4 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add idris2Packages.idris2@0.8.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#idris2Packages.idris2
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.8.0resolved | ✓ | ✓ | – | ✓ | idris2Packages.idris2 |
b6c8664de9 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.