Language

Package: neovim-coqtail @ 1.7.1-1.d77080e

Synopsis

Interactive Coq proofs in Neovim

Description

Coqtail enables interactive Coq proof development in Neovim similar to CoqIDE or ProofGeneral.

Home page
https://github.com/whonore/Coqtail
Location
gnu/packages/vim.scm (line: 523, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxor1k-elf/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxi686-w64-mingw32/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxi586-pc-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxavr/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/zajq4lnms85129jwg9f70pcxwxh1r7gz-neovim-coqtail-1.7.1-1.d77080e.drv
riscv64-linux/gnu/store/5dh27vh7ammzdv9wah6mz8w6mn1c3b1g-neovim-coqtail-1.7.1-1.d77080e.drv
powerpc-linux/gnu/store/qswxhbmaqs20y3pc689blq5441nk6lzy-neovim-coqtail-1.7.1-1.d77080e.drv
    powerpc64le-linux/gnu/store/jj5vx49qywjrhagbncb8glqr8qwajgd4-neovim-coqtail-1.7.1-1.d77080e.drv
    mips64el-linux/gnu/store/a1ji923bc4ydbk2jmmkylf4nxbic3c7q-neovim-coqtail-1.7.1-1.d77080e.drv
      i686-linux/gnu/store/vs668rszl8kiiqc7mk4i6wx05kr5wmwd-neovim-coqtail-1.7.1-1.d77080e.drv
      i586-gnu/gnu/store/yrimwvksccx75p4s7b0cqx9964rsniqi-neovim-coqtail-1.7.1-1.d77080e.drv
      armhf-linux/gnu/store/z2n3mib6dnasw704h2b1lfydlsvqhhhi-neovim-coqtail-1.7.1-1.d77080e.drv
      aarch64-linux/gnu/store/2pqzg696h1snxyyyx17lgi98kjvgb3f0-neovim-coqtail-1.7.1-1.d77080e.drv

      Lint warnings

      LinterMessageLocation
      input-labels

      Identify input labels that do not match package names

      label 'vim-vader' does not match package name 'neovim-vader'