../ r-cran-tikzdevice_0.12-1_amd64.deb 03-Jul-2018 07:43 1073952 r-cran-tikzdevice_0.12-1_i386.deb 03-Jul-2018 07:43 1075088