../ libghc-lambdabot-core-dev_5.1.0.2-3+b1_armhf.deb 22-Jul-2020 14:37 550560 libghc-lambdabot-core-doc_5.1.0.2-3_all.deb 22-Jul-2020 16:04 146332 libghc-lambdabot-core-prof_5.1.0.2-3+b1_armhf.deb 22-Jul-2020 15:59 526868