../ libghc-lambdabot-reference-plugins-dev_5.1.0.1-..> 07-Jan-2019 19:06 162976 libghc-lambdabot-reference-plugins-dev_5.1.0.1-..> 07-Jan-2019 19:08 159372 libghc-lambdabot-reference-plugins-doc_5.1.0.1-..> 07-Jan-2019 18:49 37188 libghc-lambdabot-reference-plugins-prof_5.1.0.1..> 07-Jan-2019 19:02 158704 libghc-lambdabot-reference-plugins-prof_5.1.0.1..> 07-Jan-2019 18:16 159956