Index of /ubuntu/pool/universe/h/haskell-copilot-theorem/


../
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      09-Jan-2024 11:21              637990
libghc-copilot-theorem-dev_4.2-1_amd64.deb         23-Jan-2025 13:45              614706
libghc-copilot-theorem-dev_4.5-1build1_amd64.deb   14-Sep-2025 15:43              640636
libghc-copilot-theorem-doc_3.18.1-2_all.deb        09-Jan-2024 11:21              191800
libghc-copilot-theorem-doc_4.2-1_all.deb           23-Jan-2025 13:45              193466
libghc-copilot-theorem-doc_4.5-1build1_all.deb     14-Sep-2025 15:43              207424
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     09-Jan-2024 11:21              563280
libghc-copilot-theorem-prof_4.2-1_amd64.deb        23-Jan-2025 13:45              578854
libghc-copilot-theorem-prof_4.5-1build1_amd64.deb  14-Sep-2025 15:43              601892