../ libghc-lambdabot-novelty-plugins-dev_5.3-1_amd6..> 29-Oct-2020 14:19 166732 libghc-lambdabot-novelty-plugins-dev_5.3-1_arm6..> 29-Oct-2020 14:19 184120 libghc-lambdabot-novelty-plugins-doc_5.3-1_all.deb 29-Oct-2020 14:19 60076 libghc-lambdabot-novelty-plugins-prof_5.3-1_amd..> 29-Oct-2020 14:19 165284 libghc-lambdabot-novelty-plugins-prof_5.3-1_arm..> 29-Oct-2020 14:19 177728