nixsearch
nixsearch / pkg / vimPlugins.agda-vim / 2020-11-23

vimPlugins.agda-vim 2020-11-23

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.agda-vim@2020-11-23
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitb5182c214fac1e6db9f28ed8a7cfc2d0c255c763 
$ nix shell github:NixOS/nixpkgs/b5182c214fac1e6db9f28ed8a7cfc2d0c255c763#vimPlugins.agda-vim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.agda-vim b5182c214fac
x86_64-darwin
macOS · x86-64		 vimPlugins.agda-vim b5182c214fac
x86_64-linux
Linux · x86-64		 vimPlugins.agda-vim b5182c214fac
← newer: 2021-10-02 all 6 releases older: 2020-07-26 →

JSON: /v2/pkg?name=vimPlugins.agda-vim · /v2/resolve?name=vimPlugins.agda-vim&version=2020-11-23