summary refs log tree commit diff
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2018-12-14 10:54:16 +0100
committerPierre Neidhardt <mail@ambrevar.xyz>2018-12-14 23:32:38 +0100
commit8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9 (patch)
tree55d212a66996599731e57ade19abeb04bc8a25cd
parent13d37d840366e79dc5c616f261bcb9a552b999f1 (diff)
downloadguix-8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9.tar.gz
gnu: coq: Remove unused texlive and hevea from native-inputs.
* gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and
  hevea.
-rw-r--r--gnu/packages/ocaml.scm3
1 files changed, 0 insertions, 3 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 11389440dc..caf2c533de 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -642,9 +642,6 @@ the OCaml core distribution.")
             (variable "COQPATH")
             (files (list "lib/coq/user-contrib")))))
     (build-system ocaml-build-system)
-    (native-inputs
-     `(("texlive" ,texlive)
-       ("hevea" ,hevea)))
     (inputs
      `(("lablgtk" ,lablgtk)
        ("python" ,python-2)