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


../
haskell-copilot-theorem_4.2-1_ppc64.buildinfo      23-Jan-2025 06:03     16K
libghc-copilot-theorem-dev_4.2-1_ppc64.deb         23-Jan-2025 06:03    671K
libghc-copilot-theorem-prof_4.2-1_ppc64.deb        23-Jan-2025 06:03    636K