../ r-cran-tikzdevice_0.10-1-1_amd64.deb 10-Sep-2016 20:10 1034126 r-cran-tikzdevice_0.12-1_amd64.deb 03-Jul-2018 07:43 1073952 r-cran-tikzdevice_0.12.3.1-1_amd64.deb 08-Sep-2020 12:57 1068140