0x5DA issues

Repositories
Issues
Comments

Results 2 issues of


                                            0x5DA

COQdeps has no effect, alpine linux

i've installed - [python3](https://pkgs.alpinelinux.org/package/edge/main/x86_64/python3) - [py3-virtualenv](https://pkgs.alpinelinux.org/package/edge/community/x86_64/py3-virtualenv) - [sqlite](https://pkgs.alpinelinux.org/package/edge/main/x86_64/sqlite) and tried: - deleting `~/.cache/dein/repos/github.com/ms-jpq/coq_nvim/.vars` - running `:COQdeps` - running `:COQnow` and i get the error message: ``` Please update dependencies using...

Add support for changing sounds

Add support for changing sounds based on predicates. This does not seem to be supported by chime or CIT, and would be a welcome addition.