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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libghc-copilot-theorem-dev_4.6-1_hppa.deb2025-11-11 07:03 1.0M 
[ ]libghc-copilot-theorem-prof_4.6-1_hppa.deb2025-11-11 07:03 917K 
[ ]haskell-copilot-theorem_4.6-1_hppa.buildinfo2025-11-11 07:03 16K 
Apache/2.4.65 (Debian) Server at ftp.polytech-lille.fr Port 80