../ libghc-lambdabot-novelty-plugins-dev_5.1.0.1-3+..> 04-Dec-2018 16:27 170580 libghc-lambdabot-novelty-plugins-dev_5.1.0.1-3+..> 04-Dec-2018 16:11 166072 libghc-lambdabot-novelty-plugins-doc_5.1.0.1-3_..> 18-Oct-2018 04:11 54292 libghc-lambdabot-novelty-plugins-prof_5.1.0.1-3..> 04-Dec-2018 16:27 161524 libghc-lambdabot-novelty-plugins-prof_5.1.0.1-3..> 04-Dec-2018 16:11 160412