Submitted by goncholden on Wed, 04/27/2022 - 22:21
Tex Live on Trisquel 10
Wed, 04/27/2022 - 22:21
What version of Tex Live does Trisquel 10 package manager install?
Thu, 04/28/2022 - 02:57
#1