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

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]haskell-copilot-theorem_3.13-1.debian.tar.xz10-Jan-2023 02:20 2.6K
[   ]haskell-copilot-theorem_4.0-2.debian.tar.xz22-Sep-2024 23:02 2.8K
[   ]haskell-copilot-theorem_3.13-1.dsc10-Jan-2023 02:20 3.5K
[   ]haskell-copilot-theorem_4.0-2.dsc22-Sep-2024 23:02 3.7K
[   ]haskell-copilot-theorem_3.13.orig.tar.gz10-Jan-2023 02:20 64K
[   ]haskell-copilot-theorem_4.0.orig.tar.gz11-Sep-2024 05:26 65K
[   ]libghc-copilot-theorem-doc_3.13-1_all.deb10-Jan-2023 06:29 209K
[   ]libghc-copilot-theorem-doc_4.0-2_all.deb08-Oct-2024 15:48 219K
[   ]libghc-copilot-theorem-prof_3.13-1_amd64.deb10-Jan-2023 06:45 500K
[   ]libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb23-Oct-2024 07:34 523K
[   ]libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb23-Oct-2024 07:54 560K
[   ]libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb23-Oct-2024 07:34 561K
[   ]libghc-copilot-theorem-dev_3.13-1_amd64.deb10-Jan-2023 06:45 577K
[   ]libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb23-Oct-2024 07:54 596K
[   ]libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb23-Oct-2024 12:29 649K
[   ]libghc-copilot-theorem-dev_3.13-1_armhf.deb10-Jan-2023 08:42 689K
[   ]libghc-copilot-theorem-prof_3.13-1_armhf.deb10-Jan-2023 08:42 694K
[   ]libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb23-Oct-2024 12:29 696K
[   ]libghc-copilot-theorem-prof_3.13-1_i386.deb10-Jan-2023 06:34 733K
[   ]libghc-copilot-theorem-prof_3.13-1_arm64.deb10-Jan-2023 09:17 735K
[   ]libghc-copilot-theorem-dev_3.13-1_arm64.deb10-Jan-2023 09:17 767K
[   ]libghc-copilot-theorem-prof_4.0-2+b3_i386.deb23-Oct-2024 08:51 775K
[   ]libghc-copilot-theorem-dev_4.0-2+b3_i386.deb23-Oct-2024 08:51 873K
[   ]libghc-copilot-theorem-dev_3.13-1_i386.deb10-Jan-2023 06:34 909K
[   ]libghc-copilot-theorem-dev_4.0-2+b2_riscv64.deb26-Oct-2024 00:47 972K
[   ]libghc-copilot-theorem-prof_4.0-2+b2_riscv64.deb26-Oct-2024 00:47 1.0M