03/16: gnu: coq: Remove unused texlive and hevea from native-inputs.

[guix-commits]

ambrevar pushed a commit to branch master
in repository guix.

commit 8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9
Author: Pierre Neidhardt <address@hidden>
Date:   Fri Dec 14 10:54:16 2018 +0100

    gnu: coq: Remove unused texlive and hevea from native-inputs.
    
    * gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and
      hevea.
---
 gnu/packages/ocaml.scm | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1138944..caf2c53 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)