Skip to content
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

Jump to bottom

vimPlugins.coq-vim: init at 2013-01-16 #108797

Merged
merged 2 commits into from Jan 9, 2021
Merged

vimPlugins.coq-vim: init at 2013-01-16 #108797

merged 2 commits into from Jan 9, 2021

Conversation

d-xo
Copy link
Contributor

@d-xo d-xo commented Jan 8, 2021

Motivation for this change

Adds the coq.vim vim plugin.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@d-xo d-xo requested a review from jonringer as a code owner January 8, 2021 17:26
@ofborg ofborg bot requested a review from jorsn January 8, 2021 17:44
@SuperSandro2000 SuperSandro2000 changed the title Coq.vim vimPlugins.coq-vim: init at 2013-01-16 Jan 8, 2021
@SuperSandro2000
Copy link
Member

This is a semi-automatic executed nixpkgs-review which does not build all packages (e.g. lumo, tensorflow or pytorch)
If you find some bugs or got suggestions for further things to search or run please reach out to SuperSandro2000 on IRC.

Result of nixpkgs-review pr 108797 run on x86_64-darwin 1

2 packages built:
  • spacevim
  • vimPlugins.vim-clap

@SuperSandro2000
Copy link
Member

This is a semi-automatic executed nixpkgs-review which does not build all packages (e.g. lumo, tensorflow or pytorch)
If you find some bugs or got suggestions for further things to search or run please reach out to SuperSandro2000 on IRC.

Result of nixpkgs-review pr 108797 run on x86_64-linux 1

34 packages built:
  • spacevim
  • vimPlugins.ale
  • vimPlugins.barbar-nvim
  • vimPlugins.brainfuck-vim
  • vimPlugins.coc-nvim
  • vimPlugins.coq-vim
  • vimPlugins.defx-nvim
  • vimPlugins.deoplete-fish
  • vimPlugins.deoplete-khard
  • vimPlugins.deoplete-nvim
  • vimPlugins.fern-vim
  • vimPlugins.fzf-vim
  • vimPlugins.julia-vim
  • vimPlugins.lh-brackets
  • vimPlugins.lh-vim-lib
  • vimPlugins.nlua-nvim
  • vimPlugins.nvim-lspconfig
  • vimPlugins.nvim-lsputils
  • vimPlugins.nvim-scrollview
  • vimPlugins.nvim-treesitter
  • vimPlugins.nvim-treesitter-refactor
  • vimPlugins.nvim-ts-rainbow
  • vimPlugins.popfix
  • vimPlugins.tagbar
  • vimPlugins.telescope-nvim
  • vimPlugins.vim-clap
  • vimPlugins.vim-floaterm
  • vimPlugins.vim-illuminate
  • vimPlugins.vim-snipmate
  • vimPlugins.vim-snippets
  • vimPlugins.vim-visual-multi
  • vimPlugins.vim-vsnip
  • vimPlugins.vimspector
  • vimPlugins.vimtex

@SuperSandro2000 SuperSandro2000 merged commit 7860fe6 into NixOS:master Jan 9, 2021
@d-xo d-xo deleted the coq.vim branch January 9, 2021 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonringer jonringer Awaiting requested review from jonringer

@jorsn jorsn Awaiting requested review from jorsn

Assignees
No one assigned
Labels
6.topic: vim 8.has: package (new) 10.rebuild-darwin: 1-10 10.rebuild-linux: 11-100
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@d-xo @SuperSandro2000