Index of /freexian/extended-lts/pool/main/h/haskell-sbv

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libghc-sbv-dev_5.12-2+b3_amd64.deb2025-08-19 19:16 2.6M 
[ ]libghc-sbv-dev_5.12-2+b3_i386.deb2025-09-01 18:15 2.5M 
[ ]libghc-sbv-dev_7.12-2+b2_amd64.deb2025-08-20 18:01 3.8M 
[ ]libghc-sbv-dev_7.12-2+b2_i386.deb2025-09-01 18:15 3.7M 
[ ]libghc-sbv-dev_8.7-1+b1_amd64.deb2025-08-20 18:01 5.7M 
[ ]libghc-sbv-dev_8.7-1+b1_i386.deb2025-09-01 18:15 5.6M 
[ ]libghc-sbv-dev_8.17-1+b3_amd64.deb2025-08-20 18:01 6.5M 
[ ]libghc-sbv-dev_8.17-1+b3_i386.deb2025-09-01 18:15 10M 
[ ]libghc-sbv-doc_5.12-2_all.deb2025-08-19 19:16 537K 
[ ]libghc-sbv-doc_7.12-2_all.deb2025-08-20 18:01 962K 
[ ]libghc-sbv-doc_8.7-1_all.deb2025-08-20 18:01 1.6M 
[ ]libghc-sbv-doc_8.17-1_all.deb2025-08-20 18:01 1.7M 
[ ]libghc-sbv-prof_5.12-2+b3_amd64.deb2025-08-19 19:16 2.2M 
[ ]libghc-sbv-prof_5.12-2+b3_i386.deb2025-09-01 18:15 2.2M 
[ ]libghc-sbv-prof_7.12-2+b2_amd64.deb2025-08-20 18:01 3.2M 
[ ]libghc-sbv-prof_7.12-2+b2_i386.deb2025-09-01 18:15 3.2M 
[ ]libghc-sbv-prof_8.7-1+b1_amd64.deb2025-08-20 18:01 5.0M 
[ ]libghc-sbv-prof_8.7-1+b1_i386.deb2025-09-01 18:15 5.0M 
[ ]libghc-sbv-prof_8.17-1+b3_amd64.deb2025-08-20 18:01 5.6M 
[ ]libghc-sbv-prof_8.17-1+b3_i386.deb2025-09-01 18:15 8.2M 
Apache/2.4.66 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443