Revision 6faac6a31a9a9ebf009427564103f7839ff35c77

Language
View JSON

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: 542, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxx86_64-pc-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxor1k-elf/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxloongarch64-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxi686-w64-mingw32/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxi586-pc-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxavr/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/01xwnxcfywcnw8fnh265n7dkwwan0k42-neovim-coqtail-1.7.1-1.d77080e.drv
x86_64-gnu/gnu/store/823vdkqgfc1wv9c8i7midzf1z9bqiwj8-neovim-coqtail-1.7.1-1.d77080e.drv
    riscv64-linux/gnu/store/zrf9xgfa5cg227wlp8zjz9mlq1gq7saz-neovim-coqtail-1.7.1-1.d77080e.drv
    powerpc-linux/gnu/store/ygzbwz44skahi21bhfg28qr7psndzdx7-neovim-coqtail-1.7.1-1.d77080e.drv
      powerpc64le-linux/gnu/store/fs5qhrjwfy0g51c33p5zxfmypgyb2y6x-neovim-coqtail-1.7.1-1.d77080e.drv
      mips64el-linux/gnu/store/f4q8kpq0hsvphxpjx5dlv2fzpljs8kh8-neovim-coqtail-1.7.1-1.d77080e.drv
        i686-linux/gnu/store/dfvbndg4r8lwcr5311fsvij520xfm4kr-neovim-coqtail-1.7.1-1.d77080e.drv
        i586-gnu/gnu/store/n3fcljidlz09zsg40dg6zcvhzbynsgr4-neovim-coqtail-1.7.1-1.d77080e.drv
          armhf-linux/gnu/store/wrvbq25s2gvi4f1d471a3qvgk7hnm67i-neovim-coqtail-1.7.1-1.d77080e.drv
          aarch64-linux/gnu/store/3b7yp0zrpkfh9ibx66ga9cis6h2nyzyq-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'