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

../
haskell-copilot-theorem_3.13-1.debian.tar.xz       14-Jun-2023 14:05    2644
haskell-copilot-theorem_3.13-1.dsc                 14-Jun-2023 14:05    3579
haskell-copilot-theorem_3.13.orig.tar.gz           14-Jun-2023 14:05     64K
haskell-copilot-theorem_4.0-2.debian.tar.xz        19-Oct-2024 04:15    2916
haskell-copilot-theorem_4.0-2.dsc                  19-Oct-2024 04:15    3764
haskell-copilot-theorem_4.0.orig.tar.gz            26-Sep-2024 22:05     65K
libghc-copilot-theorem-dev_3.13-1_amd64.deb        14-Jun-2023 21:01    577K
libghc-copilot-theorem-dev_3.13-1_arm64.deb        14-Jun-2023 21:01    767K
libghc-copilot-theorem-dev_4.0-2+b1_amd64.deb      19-Oct-2024 04:38    561K
libghc-copilot-theorem-dev_4.0-2+b1_arm64.deb      19-Oct-2024 04:38    560K
libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb      30-Oct-2024 04:32    561K
libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb      30-Oct-2024 04:32    560K
libghc-copilot-theorem-doc_3.13-1_all.deb          14-Jun-2023 21:01    209K
libghc-copilot-theorem-doc_4.0-2_all.deb           19-Oct-2024 04:38    219K
libghc-copilot-theorem-prof_3.13-1_amd64.deb       14-Jun-2023 21:01    500K
libghc-copilot-theorem-prof_3.13-1_arm64.deb       14-Jun-2023 21:01    735K
libghc-copilot-theorem-prof_4.0-2+b1_amd64.deb     19-Oct-2024 04:38    521K
libghc-copilot-theorem-prof_4.0-2+b1_arm64.deb     19-Oct-2024 04:38    597K
libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb     30-Oct-2024 04:32    523K
libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb     30-Oct-2024 04:32    596K