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

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