Index of /ubuntu-ports/packages/pool/universe/h/haskell-copilot-theorem/
../
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb 09-Jan-2024 12:05 659K
libghc-copilot-theorem-dev_3.18.1-2_armhf.deb 09-Jan-2024 12:05 666K
libghc-copilot-theorem-dev_4.2-1_arm64.deb 23-Jan-2025 13:46 630K
libghc-copilot-theorem-dev_4.2-1_armhf.deb 23-Jan-2025 15:41 726K
libghc-copilot-theorem-dev_4.5-1build1_arm64.deb 14-Sep-2025 15:43 654K
libghc-copilot-theorem-dev_4.5-1build1_armhf.deb 14-Sep-2025 15:43 754K
libghc-copilot-theorem-doc_3.18.1-2_all.deb 09-Jan-2024 11:21 187K
libghc-copilot-theorem-doc_4.2-1_all.deb 23-Jan-2025 13:45 189K
libghc-copilot-theorem-doc_4.5-1build1_all.deb 14-Sep-2025 15:43 203K
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb 09-Jan-2024 12:05 679K
libghc-copilot-theorem-prof_3.18.1-2_armhf.deb 09-Jan-2024 12:05 722K
libghc-copilot-theorem-prof_4.2-1_arm64.deb 23-Jan-2025 13:46 690K
libghc-copilot-theorem-prof_4.2-1_armhf.deb 23-Jan-2025 15:41 795K
libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 14-Sep-2025 15:43 716K
libghc-copilot-theorem-prof_4.5-1build1_armhf.deb 14-Sep-2025 15:43 824K