../ libghc-intervals-dev_0.8.1-3build1_arm64.deb 26-Aug-2019 17:48 342560 libghc-intervals-dev_0.9.1-1build2_arm64.deb 31-Oct-2020 16:23 343964 libghc-intervals-doc_0.8.1-3build1_all.deb 26-Aug-2019 17:18 90480 libghc-intervals-doc_0.9.1-1build2_all.deb 31-Oct-2020 14:18 95968 libghc-intervals-prof_0.8.1-3build1_arm64.deb 26-Aug-2019 17:48 290400 libghc-intervals-prof_0.9.1-1build2_arm64.deb 31-Oct-2020 16:23 290420