Icon  Name                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                       -   
[   ] haskell-copilot-theorem_3.18.1-2.debian.tar.xz    2024-01-09 11:21  2.8K  
[TXT] haskell-copilot-theorem_3.18.1-2.dsc              2024-01-09 11:21  3.7K  
[   ] haskell-copilot-theorem_3.18.1.orig.tar.gz        2024-01-09 05:45   66K  
[   ] haskell-copilot-theorem_4.2-1.debian.tar.xz       2025-01-23 05:47  2.9K  
[TXT] haskell-copilot-theorem_4.2-1.dsc                 2025-01-23 05:47  3.7K  
[   ] haskell-copilot-theorem_4.2.orig.tar.gz           2025-01-23 05:47   65K  
[   ] haskell-copilot-theorem_4.5-1build1.debian.tar.xz 2025-09-12 06:38  3.0K  
[TXT] haskell-copilot-theorem_4.5-1build1.dsc           2025-09-12 06:38  3.7K  
[   ] haskell-copilot-theorem_4.5.orig.tar.gz           2025-08-27 17:48   70K  
[   ] haskell-copilot-theorem_4.6.1-1.debian.tar.xz     2026-02-28 23:32  2.9K  
[TXT] haskell-copilot-theorem_4.6.1-1.dsc               2026-02-28 23:32  3.8K  
[   ] haskell-copilot-theorem_4.6.1.orig.tar.gz         2026-02-28 23:32   70K  
[   ] haskell-copilot-theorem_4.8-1.debian.tar.xz       2026-07-25 05:24  2.9K  
[TXT] haskell-copilot-theorem_4.8-1.dsc                 2026-07-25 05:24  3.9K  
[   ] haskell-copilot-theorem_4.8.orig.tar.gz           2026-07-25 05:24   71K  
[   ] libghc-copilot-theorem-dev_3.18.1-2_amd64.deb     2024-01-09 11:21  623K  
[   ] libghc-copilot-theorem-dev_4.2-1_amd64.deb        2025-01-23 13:45  600K  
[   ] libghc-copilot-theorem-dev_4.5-1build1_amd64.deb  2025-09-14 15:43  626K  
[   ] libghc-copilot-theorem-dev_4.5-1build1_arm64.deb  2025-09-14 15:43  654K  
[   ] libghc-copilot-theorem-dev_4.6.1-1_amd64.deb      2026-03-01 13:54  612K  
[   ] libghc-copilot-theorem-dev_4.6.1-1_amd64v3.deb    2026-03-01 13:55  612K  
[   ] libghc-copilot-theorem-dev_4.6.1-1_arm64.deb      2026-03-01 13:55  640K  
[   ] libghc-copilot-theorem-dev_4.8-1_amd64.deb        2026-07-25 12:44  609K  
[   ] libghc-copilot-theorem-dev_4.8-1_amd64v3.deb      2026-07-25 12:44  609K  
[   ] libghc-copilot-theorem-dev_4.8-1_arm64.deb        2026-07-25 17:45  637K  
[   ] libghc-copilot-theorem-doc_3.18.1-2_all.deb       2024-01-09 11:21  187K  
[   ] libghc-copilot-theorem-doc_4.2-1_all.deb          2025-01-23 13:45  189K  
[   ] libghc-copilot-theorem-doc_4.5-1build1_all.deb    2025-09-14 15:43  203K  
[   ] libghc-copilot-theorem-doc_4.6.1-1_all.deb        2026-03-01 13:54  198K  
[   ] libghc-copilot-theorem-doc_4.8-1_all.deb          2026-07-25 12:44  199K  
[   ] libghc-copilot-theorem-prof_3.18.1-2_amd64.deb    2024-01-09 11:21  550K  
[   ] libghc-copilot-theorem-prof_4.2-1_amd64.deb       2025-01-23 13:45  565K  
[   ] libghc-copilot-theorem-prof_4.5-1build1_amd64.deb 2025-09-14 15:43  588K  
[   ] libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 2025-09-14 15:43  716K  
[   ] libghc-copilot-theorem-prof_4.6.1-1_amd64.deb     2026-03-01 13:54  589K  
[   ] libghc-copilot-theorem-prof_4.6.1-1_amd64v3.deb   2026-03-01 13:55  590K  
[   ] libghc-copilot-theorem-prof_4.6.1-1_arm64.deb     2026-03-01 13:55  721K  
[   ] libghc-copilot-theorem-prof_4.8-1_amd64.deb       2026-07-25 12:44  589K  
[   ] libghc-copilot-theorem-prof_4.8-1_amd64v3.deb     2026-07-25 12:44  590K  
[   ] libghc-copilot-theorem-prof_4.8-1_arm64.deb       2026-07-25 17:45  720K