cornelis 0.2.0.0
agda-mode for Neovim
Linux and macOS
last changed
Pin this version
$ devbox add cornelis@0.2.0.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit3f316d2a50699a78afe5e77ca486ad553169061e
$ nix shell github:NixOS/nixpkgs/3f316d2a50699a78afe5e77ca486ad553169061e#cornelis
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
cornelis |
3f316d2a5069 | out/nix/store/vp1h2vqi21i5blpxncajc6h9nhkwmbas-cornelis-0.2.0.0 |
||
aarch64-linuxLinux · arm64 |
cornelis |
3f316d2a5069 | out/nix/store/c6avzypfb9s0ckhs3zrqkaswzdw78nbz-cornelis-0.2.0.0 |
||
x86_64-darwinmacOS · x86-64 |
cornelis |
3f316d2a5069 | out/nix/store/glah7f324pbvdp29i0zpi9da4gwvayj7-cornelis-0.2.0.0 |
||
x86_64-linuxLinux · x86-64 |
cornelis |
3f316d2a5069 | out/nix/store/ig5agkk3fhyc86vrygrwlk0gl2s25agm-cornelis-0.2.0.0 |
JSON: /v2/pkg?name=cornelis · /v2/resolve?name=cornelis&version=0.2.0.0