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

../
haskell-copilot-theorem_3.18.1-2+b1_ppc64.build..> 14-Apr-2024 03:03     17K
libghc-copilot-theorem-dev_3.18.1-2+b1_ppc64.deb   14-Apr-2024 03:03    757K
libghc-copilot-theorem-prof_3.18.1-2+b1_ppc64.deb  14-Apr-2024 03:03    626K