Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 haskell-copilot-theorem_3.18.1-2.debian.tar.xz 2024-01-09 06:21  2.8K  Debian/Ubuntu Packages
 haskell-copilot-theorem_3.18.1-2.dsc           2024-01-09 06:21  3.7K  
 haskell-copilot-theorem_3.18.1.orig.tar.gz     2024-01-09 00:45   66K  Raw or other Packages
 haskell-copilot-theorem_3.19.1-1.debian.tar.xz 2024-07-09 07:51  2.8K  Debian/Ubuntu Packages
 haskell-copilot-theorem_3.19.1-1.dsc           2024-07-09 07:51  3.7K  
 haskell-copilot-theorem_3.19.1.orig.tar.gz     2024-07-09 07:51   63K  Raw or other Packages
 haskell-copilot-theorem_4.2-1.debian.tar.xz    2025-01-23 00:47  2.9K  Debian/Ubuntu Packages
 haskell-copilot-theorem_4.2-1.dsc              2025-01-23 00:47  3.7K  
 haskell-copilot-theorem_4.2.orig.tar.gz        2025-01-23 00:47   65K  Raw or other Packages
 haskell-copilot-theorem_4.3-1.debian.tar.xz    2025-05-01 12:19  2.9K  Debian/Ubuntu Packages
 haskell-copilot-theorem_4.3-1.dsc              2025-05-01 12:19  3.7K  
 haskell-copilot-theorem_4.3.orig.tar.gz        2025-05-01 12:19   70K  Raw or other Packages
 libghc-copilot-theorem-dev_3.18.1-2_amd64.deb  2024-01-09 06:21  623K  Debian/Ubuntu Packages
 libghc-copilot-theorem-dev_3.19.1-1_amd64.deb  2024-07-09 20:38  620K  Debian/Ubuntu Packages
 libghc-copilot-theorem-dev_4.2-1_amd64.deb     2025-01-23 08:45  600K  Debian/Ubuntu Packages
 libghc-copilot-theorem-dev_4.3-1_amd64.deb     2025-05-02 11:18  623K  Debian/Ubuntu Packages
 libghc-copilot-theorem-doc_3.18.1-2_all.deb    2024-01-09 06:21  187K  Debian/Ubuntu Packages
 libghc-copilot-theorem-doc_3.19.1-1_all.deb    2024-07-09 20:38  186K  Debian/Ubuntu Packages
 libghc-copilot-theorem-doc_4.2-1_all.deb       2025-01-23 08:45  189K  Debian/Ubuntu Packages
 libghc-copilot-theorem-doc_4.3-1_all.deb       2025-05-02 11:18  202K  Debian/Ubuntu Packages
 libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 2024-01-09 06:21  550K  Debian/Ubuntu Packages
 libghc-copilot-theorem-prof_3.19.1-1_amd64.deb 2024-07-09 20:38  548K  Debian/Ubuntu Packages
 libghc-copilot-theorem-prof_4.2-1_amd64.deb    2025-01-23 08:45  565K  Debian/Ubuntu Packages
 libghc-copilot-theorem-prof_4.3-1_amd64.deb    2025-05-02 11:18  587K  Debian/Ubuntu Packages