Index of /archive/pool/main/h/haskell-copilot-theorem

Icon  Name                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                       -   
[   ] libghc-copilot-theorem-prof_4.0-2+b2_riscv64.deb  2024-10-25 17:47  1.0M  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_riscv64.deb   2024-10-25 17:47  972K  
[   ] libghc-copilot-theorem-dev_3.13-1_i386.deb        2023-01-09 23:34  909K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_i386.deb      2024-10-23 01:51  873K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_i386.deb     2024-10-23 01:51  775K  
[   ] libghc-copilot-theorem-dev_3.13-1_mips64el.deb    2023-01-10 01:42  772K  
[   ] libghc-copilot-theorem-dev_3.13-1_arm64.deb       2023-01-10 02:17  767K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_mips64el.deb  2024-10-23 15:17  751K  
[   ] libghc-copilot-theorem-prof_3.13-1_arm64.deb      2023-01-10 02:17  735K  
[   ] libghc-copilot-theorem-prof_3.13-1_i386.deb       2023-01-09 23:34  733K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_mips64el.deb 2024-10-23 15:17  712K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_armel.deb    2024-10-23 03:07  707K  
[   ] libghc-copilot-theorem-dev_3.13-1_armel.deb       2023-01-10 02:42  706K  
[   ] libghc-copilot-theorem-prof_3.13-1_armel.deb      2023-01-10 02:42  706K  
[   ] libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb    2024-10-23 05:29  696K  
[   ] libghc-copilot-theorem-prof_3.13-1_armhf.deb      2023-01-10 01:42  694K  
[   ] libghc-copilot-theorem-dev_3.13-1_armhf.deb       2023-01-10 01:42  689K  
[   ] libghc-copilot-theorem-prof_3.13-1_mips64el.deb   2023-01-10 01:42  663K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_armel.deb     2024-10-23 03:07  662K  
[   ] libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb     2024-10-23 05:29  649K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb    2024-10-23 00:54  596K  
[   ] libghc-copilot-theorem-dev_3.13-1_amd64.deb       2023-01-09 23:45  577K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb     2024-10-23 00:34  561K  
[   ] libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb     2024-10-23 00:54  560K  
[   ] libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb    2024-10-23 00:34  523K  
[   ] libghc-copilot-theorem-prof_3.13-1_amd64.deb      2023-01-09 23:45  500K  
[   ] libghc-copilot-theorem-doc_4.0-2_all.deb          2024-10-08 08:48  219K  
[   ] libghc-copilot-theorem-doc_3.13-1_all.deb         2023-01-09 23:29  209K  
[   ] haskell-copilot-theorem_4.0.orig.tar.gz           2024-09-10 22:26   65K  
[   ] haskell-copilot-theorem_3.13.orig.tar.gz          2023-01-09 19:20   64K  
[TXT] haskell-copilot-theorem_4.0-2.dsc                 2024-09-22 16:02  3.7K  
[TXT] haskell-copilot-theorem_3.13-1.dsc                2023-01-09 19:20  3.5K  
[   ] haskell-copilot-theorem_4.0-2.debian.tar.xz       2024-09-22 16:02  2.8K  
[   ] haskell-copilot-theorem_3.13-1.debian.tar.xz      2023-01-09 19:20  2.6K