From 6d8ad18b585a1003dbefa1a591258b0b0b9a85b5 Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Thu, 4 Nov 2021 01:04:36 +0100
Subject: [PATCH 2/2] [DBG] However, texlive (full) is sufficient

---
 gnu/packages/ocaml.scm | 292 +----------------------------------------
 1 file changed, 1 insertion(+), 291 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c3b69e0f18..3c86bafc5e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1208,297 +1208,7 @@ (define-public unison
        ("texlive" ,(texlive-updmap.cfg
                     (list texlive-fonts-ec
 
-                          texlive-adjustbox
-                          texlive-ae
-                          texlive-amscls
-                          texlive-amsfonts
-                          texlive-arev
-                          texlive-babel
-                          texlive-babel-swedish
-                          texlive-base
-                          texlive-beamer
-                          texlive-bera
-                          texlive-biblatex
-                          texlive-bibtex
-                          texlive-booktabs
-                          texlive-cabin
-                          texlive-caption
-                          texlive-charter
-                          texlive-cm
-                          texlive-cm-super
-                          texlive-collectbox
-                          texlive-context
-                          texlive-courier
-                          texlive-csquotes
-                          texlive-dehyph-exptl
-                          texlive-dejavu
-                          texlive-doi
-                          texlive-dvips
-                          texlive-epsf
-                          texlive-etex
-                          texlive-etoolbox
-                          texlive-eurosym
-                          texlive-filemod
-                          texlive-fontaxes
-                          texlive-fontinst
-                          texlive-fontname
-                          texlive-fonts-ec
-                          texlive-fonts-iwona
-                          texlive-fonts-latex
-                          texlive-fonts-rsfs
-                          texlive-fontspec
-                          texlive-fourier
-                          texlive-fpl
-                          texlive-generic-atbegshi
-                          texlive-generic-babel-english
-                          texlive-generic-babel-german
-                          texlive-generic-bigintcalc
-                          texlive-generic-bitset
-                          texlive-generic-etexcmds
-                          texlive-generic-gettitlestring
-                          texlive-generic-iftex
-                          texlive-generic-infwarerr
-                          texlive-generic-intcalc
-                          texlive-generic-kvdefinekeys
-                          texlive-generic-kvsetkeys
-                          texlive-generic-listofitems
-                          texlive-generic-ltxcmds
-                          texlive-generic-pdfescape
-                          texlive-generic-ulem
-                          texlive-generic-uniquecounter
-                          texlive-graphics-cfg
-                          texlive-graphics-def
-                          texlive-grfext
-                          texlive-helvetic
-                          texlive-hyperref
-                          texlive-hyph-utf8
-                          texlive-hyphen-afrikaans
-                          texlive-hyphen-ancientgreek
-                          texlive-hyphen-armenian
-                          texlive-hyphen-base
-                          texlive-hyphen-basque
-                          texlive-hyphen-belarusian
-                          texlive-hyphen-bulgarian
-                          texlive-hyphen-catalan
-                          texlive-hyphen-chinese
-                          texlive-hyphen-churchslavonic
-                          texlive-hyphen-coptic
-                          texlive-hyphen-croatian
-                          texlive-hyphen-czech
-                          texlive-hyphen-danish
-                          texlive-hyphen-dutch
-                          texlive-hyphen-english
-                          texlive-hyphen-esperanto
-                          texlive-hyphen-estonian
-                          texlive-hyphen-ethiopic
-                          texlive-hyphen-finnish
-                          texlive-hyphen-french
-                          texlive-hyphen-friulan
-                          texlive-hyphen-galician
-                          texlive-hyphen-georgian
-                          texlive-hyphen-german
-                          texlive-hyphen-greek
-                          texlive-hyphen-hungarian
-                          texlive-hyphen-icelandic
-                          texlive-hyphen-indic
-                          texlive-hyphen-indonesian
-                          texlive-hyphen-interlingua
-                          texlive-hyphen-irish
-                          texlive-hyphen-italian
-                          texlive-hyphen-kurmanji
-                          texlive-hyphen-latin
-                          texlive-hyphen-latvian
-                          texlive-hyphen-lithuanian
-                          texlive-hyphen-macedonian
-                          texlive-hyphen-mongolian
-                          texlive-hyphen-norwegian
-                          texlive-hyphen-occitan
-                          texlive-hyphen-pali
-                          texlive-hyphen-piedmontese
-                          texlive-hyphen-polish
-                          texlive-hyphen-portuguese
-                          texlive-hyphen-romanian
-                          texlive-hyphen-romansh
-                          texlive-hyphen-russian
-                          texlive-hyphen-sanskrit
-                          texlive-hyphen-schoolfinnish
-                          texlive-hyphen-serbian
-                          texlive-hyphen-slovak
-                          texlive-hyphen-slovenian
-                          texlive-hyphen-spanish
-                          texlive-hyphen-swedish
-                          texlive-hyphen-thai
-                          texlive-hyphen-turkish
-                          texlive-hyphen-turkmen
-                          texlive-hyphen-ukrainian
-                          texlive-hyphen-uppersorbian
-                          texlive-hyphen-welsh
-                          texlive-ifmtarg
-                          texlive-ifoddpage
-                          texlive-inconsolata
-                          texlive-jadetex
-                          texlive-jknappen
-                          texlive-kastrup
-                          texlive-knuth-lib
-                          texlive-kpathsea
-                          texlive-l3build
-                          texlive-latex-acmart
-                          texlive-latex-acronym
-                          texlive-latex-amsmath
-                          texlive-latex-amsrefs
-                          texlive-latex-anysize
-                          texlive-latex-appendix
-                          texlive-latex-atveryend
-                          texlive-latex-auxhook
-                          texlive-latex-base
-                          texlive-latex-bigfoot
-                          texlive-latex-blindtext
-                          texlive-latex-bookmark
-                          texlive-latex-capt-of
-                          texlive-latex-changebar
-                          texlive-latex-changepage
-                          texlive-latex-cmap
-                          texlive-latex-colortbl
-                          texlive-latex-cyrillic
-                          texlive-latex-dinbrief
-                          texlive-latex-draftwatermark
-                          texlive-latex-ebproof
-                          texlive-latex-eepic
-                          texlive-latex-enumitem
-                          texlive-latex-environ
-                          texlive-latex-epstopdf-pkg
-                          texlive-latex-eqparbox
-                          texlive-latex-eso-pic
-                          texlive-latex-etoc
-                          texlive-latex-eukdate
-                          texlive-latex-examplep
-                          texlive-latex-expdlist
-                          texlive-latex-fancybox
-                          texlive-latex-fancyhdr
-                          texlive-latex-fancyvrb
-                          texlive-latex-filecontents
-                          texlive-latex-float
-                          texlive-latex-fncychap
-                          texlive-latex-footmisc
-                          texlive-latex-framed
-                          texlive-latex-g-brief
-                          texlive-latex-galois
-                          texlive-latex-gcite
-                          texlive-latex-geometry
-                          texlive-latex-graphics
-                          texlive-latex-hanging
-                          texlive-latex-hycolor
-                          texlive-latex-ifplatform
-                          texlive-latex-jknapltx
-                          texlive-latex-koma-script
-                          texlive-latex-kvoptions
-                          texlive-latex-l3backend
-                          texlive-latex-l3kernel
-                          texlive-latex-l3packages
-                          texlive-latex-letltxmacro
-                          texlive-latex-listings
-                          texlive-latex-mdwtools
-                          texlive-latex-media9
-                          texlive-latex-ms
-                          texlive-latex-multirow
-                          texlive-latex-natbib
-                          texlive-latex-needspace
-                          texlive-latex-newunicodechar
-                          texlive-latex-ocgx2
-                          texlive-latex-overpic
-                          texlive-latex-parskip
-                          texlive-latex-pdfpages
-                          texlive-latex-pdftexcmds
-                          texlive-latex-pgf
-                          texlive-latex-polyglossia
-                          texlive-latex-preview
-                          texlive-latex-psfrag
-                          texlive-latex-readarray
-                          texlive-latex-refcount
-                          texlive-latex-rerunfilecheck
-                          texlive-latex-stackengine
-                          texlive-latex-subfigure
-                          texlive-latex-supertabular
-                          texlive-latex-tabulary
-                          texlive-latex-threeparttable
-                          texlive-latex-titlesec
-                          texlive-latex-tocloft
-                          texlive-latex-tools
-                          texlive-latex-trimspaces
-                          texlive-latex-type1cm
-                          texlive-latex-ucs
-                          texlive-latex-upquote
-                          texlive-latex-varwidth
-                          texlive-latex-verbatimbox
-                          texlive-latex-wrapfig
-                          texlive-latex-xkeyval
-                          texlive-latex-xmpincl
-                          texlive-latexconfig
-                          texlive-lh
-                          texlive-libertine
-                          texlive-libkpathsea
-                          texlive-lm
-                          texlive-logreq
-                          texlive-luaotfload
-                          texlive-luatex-lualibs
-                          texlive-ly1
-                          texlive-marginnote
-                          texlive-marvosym
-                          texlive-mathdesign
-                          texlive-mathpazo
-                          texlive-metafont
-                          texlive-metapost
-                          texlive-mflogo
-                          texlive-mflogo-font
-                          texlive-microtype
-                          texlive-mkpattern
-                          texlive-morefloats
-                          texlive-mweights
-                          texlive-newtx
-                          texlive-oberdiek
-                          texlive-pagenote
-                          texlive-palatino
-                          texlive-pdftex
-                          texlive-pdfx
-                          texlive-preprint
-                          texlive-psnfss
-                          texlive-pst-text
-                          texlive-pstool
-                          texlive-pstricks
-                          texlive-ruhyphen
-                          texlive-sectsty
-                          texlive-seminar
-                          texlive-siunitx
-                          texlive-standalone
-                          texlive-stmaryrd
-                          texlive-storebox
-                          texlive-symbol
-                          texlive-tcolorbox
-                          texlive-tetex
-                          texlive-tex-gyre
-                          texlive-tex-ini-files
-                          texlive-tex-plain
-                          texlive-tex-texinfo
-                          texlive-times
-                          texlive-tiny
-                          texlive-tipa
-                          texlive-titling
-                          texlive-todonotes
-                          texlive-tools
-                          texlive-txfonts
-                          texlive-ukrhyph
-                          texlive-unicode-data
-                          texlive-units
-                          texlive-url
-                          texlive-utopia
-                          texlive-wasy
-                          texlive-wasysym
-                          texlive-xcharter
-                          texlive-xcolor
-                          texlive-xmltex
-                          texlive-xypic
-                          texlive-ydoc
-                          texlive-zapfding
+                          texlive
 
                           )))
        ("hevea" ,hevea)
-- 
2.33.1