Skip to content 
Icon  Name                                              Last modified      Size  
[PARENTDIR] Parent Directory                                                       -   
[   ] haskell-copilot-theorem_3.13-1.debian.tar.xz      2023-01-10 02:20  2.6K  
[TXT] haskell-copilot-theorem_3.13-1.dsc                2023-01-10 02:20  3.5K  
[   ] haskell-copilot-theorem_3.13.orig.tar.gz          2023-01-10 02:20   64K  
[   ] haskell-copilot-theorem_4.0-2.debian.tar.xz       2024-09-22 23:02  2.8K  
[TXT] haskell-copilot-theorem_4.0-2.dsc                 2024-09-22 23:02  3.7K  
[   ] haskell-copilot-theorem_4.0.orig.tar.gz           2024-09-11 05:26   65K  
[   ] libghc-copilot-theorem-dev_3.13-1_amd64.deb       2023-01-10 06:45  577K  
[   ] libghc-copilot-theorem-dev_3.13-1_arm64.deb       2023-01-10 09:17  767K  
[   ] libghc-copilot-theorem-dev_3.13-1_armel.deb       2023-01-10 09:42  706K  
[   ] libghc-copilot-theorem-dev_3.13-1_armhf.deb       2023-01-10 08:42  689K  
[   ] libghc-copilot-theorem-dev_3.13-1_i386.deb        2023-01-10 06:34  909K  
[   ] libghc-copilot-theorem-dev_3.13-1_mips64el.deb    2023-01-10 08:42  772K  
[   ] libghc-copilot-theorem-dev_3.13-1_mipsel.deb      2023-01-10 13:41  728K  
[   ] libghc-copilot-theorem-dev_3.13-1_ppc64el.deb     2023-01-10 15:59  776K  
[   ] libghc-copilot-theorem-dev_3.13-1_s390x.deb       2023-01-11 00:59  871K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb     2024-10-23 07:34  561K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb     2024-10-23 07:54  560K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_ppc64el.deb   2024-10-23 07:55  702K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_riscv64.deb   2024-10-26 00:47  972K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_s390x.deb     2024-10-23 09:27  883K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_armel.deb     2024-10-23 10:07  662K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb     2024-10-23 12:29  649K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_i386.deb      2024-10-23 08:51  873K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_mips64el.deb  2024-10-23 22:17  751K  
[   ] libghc-copilot-theorem-doc_3.13-1_all.deb         2023-01-10 06:29  209K  
[   ] libghc-copilot-theorem-doc_4.0-2_all.deb          2024-10-08 15:48  219K  
[   ] libghc-copilot-theorem-prof_3.13-1_amd64.deb      2023-01-10 06:45  500K  
[   ] libghc-copilot-theorem-prof_3.13-1_arm64.deb      2023-01-10 09:17  735K  
[   ] libghc-copilot-theorem-prof_3.13-1_armel.deb      2023-01-10 09:42  706K  
[   ] libghc-copilot-theorem-prof_3.13-1_armhf.deb      2023-01-10 08:42  694K  
[   ] libghc-copilot-theorem-prof_3.13-1_i386.deb       2023-01-10 06:34  733K  
[   ] libghc-copilot-theorem-prof_3.13-1_mips64el.deb   2023-01-10 08:42  663K  
[   ] libghc-copilot-theorem-prof_3.13-1_mipsel.deb     2023-01-10 13:41  636K  
[   ] libghc-copilot-theorem-prof_3.13-1_ppc64el.deb    2023-01-10 15:59  627K  
[   ] libghc-copilot-theorem-prof_3.13-1_s390x.deb      2023-01-11 00:59  627K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb    2024-10-23 07:34  523K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb    2024-10-23 07:54  596K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_ppc64el.deb  2024-10-23 07:55  677K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_riscv64.deb  2024-10-26 00:47  1.0M  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_s390x.deb    2024-10-23 09:27  791K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_armel.deb    2024-10-23 10:07  707K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb    2024-10-23 12:29  696K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_i386.deb     2024-10-23 08:51  775K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_mips64el.deb 2024-10-23 22:17  712K