New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
vimPlugins.idris2-vim: init at 2020-05-25 #93021
Conversation
sorry I wasn't able to review the package earlier, do you mind redo'ing the addition steps? |
@jonringer I hope I haven't messed up the steps, as I thought in this case redoing everything is better then rebasing... |
do you mind running it one more time, one of the packages is failing, but is fixed on master 3 hours ago nvim-treesitter/nvim-treesitter@0b3cd6c
|
@jonringer it's updated again. hope it works now. |
removed all the updates that get generated, since they lead to conflicts. Only adding |
ping @jonringer - can we merge this? |
Result of 1 package built:
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yea, I get more notifications than I have time in the day to respond to. Sorry for the delay |
Motivation for this change
availability of https://github.com/edwinb/idris2-vim
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)