Revision bc8a41f4a8d9f1f0525d7bc97c67ed3c8aea3111

Language
View JSON

Package: neovim-coqtail @ 1.7.0-0.dfe3939

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/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxor1k-elf/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxi686-w64-mingw32/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxi586-pc-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxavr/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/s9z7ar5kzm88iwzfjjd9zx2rqq1qqw7d-neovim-coqtail-1.7.0-0.dfe3939.drv
riscv64-linux/gnu/store/h06zk3ivrdmqyhb2xmh5mqjv7nb7h1fa-neovim-coqtail-1.7.0-0.dfe3939.drv
powerpc-linux/gnu/store/9s0mwxb6wcg9pikrvq4gjw2q62nn7j7d-neovim-coqtail-1.7.0-0.dfe3939.drv
    powerpc64le-linux/gnu/store/ikckk2bhrdag2ivp7f2kjf2xbaglk43r-neovim-coqtail-1.7.0-0.dfe3939.drv
    mips64el-linux/gnu/store/qg2pzsqgjxgxvsiwhf143svzgvkg28xg-neovim-coqtail-1.7.0-0.dfe3939.drv
      i686-linux/gnu/store/z283ny46a0qhm9hgs61kpm3hrzgcyrdc-neovim-coqtail-1.7.0-0.dfe3939.drv
      i586-gnu/gnu/store/1x9dg2rz11vw64z6p61jnrvphkdgqm06-neovim-coqtail-1.7.0-0.dfe3939.drv
      armhf-linux/gnu/store/5f5y3r93fnrzpba1g9xwq14h5314d7jj-neovim-coqtail-1.7.0-0.dfe3939.drv
      aarch64-linux/gnu/store/pxr34gb3kf1qkiw0idqfa34xzaic80gh-neovim-coqtail-1.7.0-0.dfe3939.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'