amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: emacs-company-coq: Skip tests.

Browse source 
* gnu/packages/emacs-xyz.scm (emacs-company-coq)[arguments]: Add #:tests? #f.
This commit is contained in:
Liliana Marie Prikler 2025-03-13 20:42:56 +01:00
parent e35f61f87c
commit 46ddd9d644
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
gnu/packages/emacs-xyz.scm
View file

@ -11472,6 +11472,7 @@ completion candidate when using the Company text completion framework.")
(inputs
(list emacs-company emacs-company-math emacs-dash emacs-yasnippet))
(build-system emacs-build-system)
(arguments (list #:tests? #f)) ; no tests
(home-page "https://github.com/cpitclaudel/company-coq")
(synopsis "Emacs extensions for Proof General's Coq mode")
(description "This package includes a collection of Company mode backends