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

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