aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/ocaml.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index caf2c533de..e4a76acc89 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -993,7 +993,7 @@ libpanel, librsvg and quartz.")
`(("ocaml" ,ocaml-4.02)
;; For documentation
("ghostscript" ,ghostscript)
- ("texlive" ,texlive)
+ ("texlive" ,texlive-tiny)
("hevea" ,hevea)
("lynx" ,lynx)
("which" ,which)))