Name                                         Last modified      Size  
 Parent Directory                                                  -   
 libghc-copilot-theorem-doc_4.8-1_all.deb     2026-07-24 18:20  226K  
 libghc-copilot-theorem-prof_4.8-1_amd64.deb  2026-07-24 18:20  536K  
 libghc-copilot-theorem-dev_4.8-1_amd64.deb   2026-07-24 18:20  563K  
 haskell-copilot-theorem_4.8.orig.tar.gz      2026-07-24 17:23   71K  
 haskell-copilot-theorem_4.8-1.dsc            2026-07-24 17:23  3.9K  
 haskell-copilot-theorem_4.8-1.debian.tar.xz  2026-07-24 17:23  2.9K  
 libghc-copilot-theorem-doc_4.3-1_all.deb     2025-03-29 20:54  224K  
 libghc-copilot-theorem-prof_4.3-1_amd64.deb  2025-03-29 20:49  536K  
 libghc-copilot-theorem-dev_4.3-1_amd64.deb   2025-03-29 20:49  576K  
 haskell-copilot-theorem_4.3.orig.tar.gz      2025-03-29 18:28   70K  
 haskell-copilot-theorem_4.3-1.dsc            2025-03-29 18:28  3.7K  
 haskell-copilot-theorem_4.3-1.debian.tar.xz  2025-03-29 18:28  2.9K  
 libghc-copilot-theorem-prof_3.13-1_amd64.deb 2023-01-10 06:45  500K  
 libghc-copilot-theorem-dev_3.13-1_amd64.deb  2023-01-10 06:45  577K  
 libghc-copilot-theorem-doc_3.13-1_all.deb    2023-01-10 06:29  209K  
 haskell-copilot-theorem_3.13.orig.tar.gz     2023-01-10 02:20   64K  
 haskell-copilot-theorem_3.13-1.dsc           2023-01-10 02:20  3.5K  
 haskell-copilot-theorem_3.13-1.debian.tar.xz 2023-01-10 02:20  2.6K