::
allora lo puoi scaricare con il package manager (o non mi ricordo come si chiama). Te lo installa lui.
Resta valido il consiglio di installare Texlive o comunque miktex completo.
Ciao
Andrea
p.s. 3.12.1 dell’Arte c’è scritto anche come installare i pacchetti manualmente
