../ r-cran-intervals_0.15.2-1build1.debian.tar.xz 30-May-2020 10:04 5088 r-cran-intervals_0.15.2-1build1.dsc 30-May-2020 10:04 2096 r-cran-intervals_0.15.2-1build1_amd64.deb 30-May-2020 10:19 642304 r-cran-intervals_0.15.2.orig.tar.gz 27-Apr-2020 18:38 392467