Name Last modified Size Description
Parent Directory - haskell-copilot-theorem_3.10-2.debian.tar.xz 2022-09-12 19:38 2.5K haskell-copilot-theorem_3.10-2.dsc 2022-09-12 19:38 3.3K haskell-copilot-theorem_3.10.orig.tar.gz 2022-08-24 16:55 57K libghc-copilot-theorem-dev_3.10-2_amd64.deb 2022-09-12 20:13 528K libghc-copilot-theorem-doc_3.10-2_all.deb 2022-09-12 20:03 189K libghc-copilot-theorem-prof_3.10-2_amd64.deb 2022-09-12 20:13 463K