../ libghc-lambdabot-novelty-plugins-dev_5.3.1.2-1+..> 06-Dec-2025 15:04 153748 libghc-lambdabot-novelty-plugins-dev_5.3.1.2-1+..> 06-Dec-2025 13:15 208888 libghc-lambdabot-novelty-plugins-doc_5.3.1.2-1_..> 06-Dec-2025 15:37 61508 libghc-lambdabot-novelty-plugins-prof_5.3.1.2-1..> 06-Dec-2025 13:09 154168 libghc-lambdabot-novelty-plugins-prof_5.3.1.2-1..> 06-Dec-2025 13:30 194432