nixsearch
nixsearch / pkg / cornelis / 0.2.0.1

cornelis 0.2.0.1

agda-mode for Neovim
Linux and macOS last changed outputs: out, data

Pin this version

$ devbox add cornelis@0.2.0.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#cornelis
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#cornelis

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 cornelis b6c8664de9b6
out
/nix/store/86n4r2hdgri60835wf77241yyqj38ddi-cornelis-0.2.0.1
data (not default)
/nix/store/myqbima7ajnwkb3ijycyikk9aiz24sg7-cornelis-0.2.0.1-data
aarch64-linux
Linux · arm64		 cornelis b6c8664de9b6
out
/nix/store/gay73r7r5j9i2qf880kvi13ad0j3gg9z-cornelis-0.2.0.1
data (not default)
/nix/store/fnlhk1kj1gkzymdhwba7pv3jydrm5sk4-cornelis-0.2.0.1-data
x86_64-darwin
macOS · x86-64		 cornelis 3d46470bb303
out
/nix/store/9nq4cacqnqf89im2mwk6v53b7hvimcfj-cornelis-0.2.0.1
data (not default)
/nix/store/v00nanfzff0npb4sjqmhsphrpbigx7hk-cornelis-0.2.0.1-data
x86_64-linux
Linux · x86-64		 cornelis b6c8664de9b6
out
/nix/store/qizl753d5g0yh3rvidd3ijywh86g0lml-cornelis-0.2.0.1
data (not default)
/nix/store/wqyi7pswnx0k1hnjxq6r47hc2fk1d6am-cornelis-0.2.0.1-data
all 2 releases older: 0.2.0.0 →

JSON: /v2/pkg?name=cornelis · /v2/resolve?name=cornelis&version=0.2.0.1