nixsearch / pkg / idris2Packages.pack / 2025-11-06
idris2Packages.pack 2025-11-06
Idris2 Package Manager with Curated Package Collections
Linux and macOS
last changed
Pin this version
$ devbox add idris2Packages.pack@2025-11-06
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitb72f284b1be41575c3e36cd777a191c29a7adf6a
$ nix shell github:NixOS/nixpkgs/b72f284b1be41575c3e36cd777a191c29a7adf6a#idris2Packages.pack
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
idris2Packages.pack |
b72f284b1be4 | out/nix/store/np6riw2s8qi8xwxslki6089wvw6wfdnr-pack-2025-11-06 |
||
aarch64-linuxLinux · arm64 |
idris2Packages.pack |
b72f284b1be4 | out/nix/store/garncbhf25mfw48cn0dwjlpc7sadajmq-pack-2025-11-06 |
||
x86_64-darwinmacOS · x86-64 |
idris2Packages.pack |
b72f284b1be4 | out/nix/store/jw9iq02zx97kmq8j2rhgpv7jfgq1jqsj-pack-2025-11-06 |
||
x86_64-linuxLinux · x86-64 |
idris2Packages.pack |
b72f284b1be4 | out/nix/store/nmfzq17hz4nkxss76zy16kyp9yarzl3x-pack-2025-11-06 |
JSON: /v2/pkg?name=idris2Packages.pack · /v2/resolve?name=idris2Packages.pack&version=2025-11-06