../ 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-1_armhf.deb 08-Apr-2020 10:08 639444 r-cran-intervals_0.15.2.orig.tar.gz 05-Apr-2020 14:55 392467