../ python-texext_0.6.1-1_all.deb 22-Jul-2020 15:07 19588 python3-texext_0.6.1-1_all.deb 22-Jul-2020 15:37 19676