../ r-cran-intervals_0.15.2-1+b1_armhf.deb 30-May-2020 16:08 640212 r-cran-intervals_0.15.2-1.debian.tar.xz 05-Apr-2020 14:55 5008 r-cran-intervals_0.15.2-1.dsc 05-Apr-2020 14:55 2072 r-cran-intervals_0.15.2.orig.tar.gz 05-Apr-2020 14:55 392467