Хорошо, таким образом, мне были нужны некоторые функции от TexLive 2016. Последний пакет Ubuntu/Debian, который я вижу, для TexLive 2013, таким образом, я перешел к веб-сайту TexLive и получил свои файлы оттуда. Я запустил установщик...
вопрос задан: 15 September 2016 01:02