(specifications->manifest '("libreoffice" "texlive-amsfonts" "texlive-base" "texlive-latex-listings" ;; "texlive-palatino" "texlive-xcolor" ))