nixsearch
nixsearch / pkg / vimPlugins.vim-agda / 2022-03-01

vimPlugins.vim-agda 2022-03-01

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.vim-agda@2022-03-01
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit01441e14af5e29c9d27ace398e6dd0b293e25a54 
$ nix shell github:NixOS/nixpkgs/01441e14af5e29c9d27ace398e6dd0b293e25a54#vimPlugins.vim-agda

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.vim-agda 01441e14af5e
out
/nix/store/fr0r7cwqzrfgsh0p4bkkhslh38hnnpcx-vimplugin-vim-agda-2022-03-01
aarch64-linux
Linux · arm64		 vimPlugins.vim-agda 01441e14af5e
out
/nix/store/sxfj6scj549649n5j84jgrqv3h0f2wr4-vimplugin-vim-agda-2022-03-01
x86_64-darwin
macOS · x86-64		 vimPlugins.vim-agda 01441e14af5e
out
/nix/store/1k3hvg8papbwrdsrfq24iq66i0zl5kil-vimplugin-vim-agda-2022-03-01
x86_64-linux
Linux · x86-64		 vimPlugins.vim-agda 01441e14af5e
out
/nix/store/ri839x0d8vhd6az7p77m28aqwmq2dm9w-vimplugin-vim-agda-2022-03-01
← newer: 2022-09-16-unstable-2024-05-17 all 4 releases

JSON: /v2/pkg?name=vimPlugins.vim-agda · /v2/resolve?name=vimPlugins.vim-agda&version=2022-03-01