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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libghc-copilot-theorem-doc_3.13-1_all.deb2025-09-21 23:36 209K 
[   ]libghc-copilot-theorem-doc_4.3-1_all.deb2025-09-21 23:36 224K 
[   ]libghc-copilot-theorem-prof_3.13-1_amd64.deb2025-09-21 23:36 500K 
[   ]libghc-copilot-theorem-prof_4.3-1_amd64.deb2025-09-21 23:36 536K 
[   ]libghc-copilot-theorem-dev_4.3-1_amd64.deb2025-09-21 23:36 576K 
[   ]libghc-copilot-theorem-dev_4.3-1_arm64.deb2025-09-21 23:36 576K 
[   ]libghc-copilot-theorem-dev_3.13-1_amd64.deb2025-09-21 23:36 577K 
[   ]libghc-copilot-theorem-prof_4.3-1_arm64.deb2025-09-21 23:36 616K 
[   ]libghc-copilot-theorem-dev_4.3-1_armhf.deb2025-09-21 23:36 668K 
[   ]libghc-copilot-theorem-dev_3.13-1_armhf.deb2025-09-21 23:36 689K 
[   ]libghc-copilot-theorem-prof_3.13-1_armhf.deb2025-09-21 23:36 694K 
[   ]libghc-copilot-theorem-prof_4.3-1_armhf.deb2025-09-21 23:36 712K 
[   ]libghc-copilot-theorem-prof_3.13-1_arm64.deb2025-09-21 23:36 735K 
[   ]libghc-copilot-theorem-dev_3.13-1_arm64.deb2025-09-21 23:36 767K 
[   ]libghc-copilot-theorem-dev_4.3-1_riscv64.deb2025-09-21 23:36 1.0M 
[   ]libghc-copilot-theorem-prof_4.3-1_riscv64.deb2025-09-21 23:36 1.1M 

Apache/2.4.58 (Ubuntu) Server at mirror.awdevtools.com Port 443