Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb      09-Jan-2024 12:05              674500
libghc-copilot-theorem-doc_3.18.1-2_all.deb        09-Jan-2024 11:21              191800
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb     09-Jan-2024 12:05              695324