Index of /pub/debian/pool/main/h/haskell-sbv

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libghc-sbv-dev_7.12-2+b2_amd64.deb2019-03-08 06:25 3.8M 
[ ]libghc-sbv-dev_7.12-2+b2_i386.deb2019-03-08 06:10 3.7M 
[ ]libghc-sbv-dev_8.7-1+b1_amd64.deb2020-08-19 14:55 5.7M 
[ ]libghc-sbv-dev_8.7-1+b1_i386.deb2020-08-19 16:12 5.6M 
[ ]libghc-sbv-dev_8.17-1+b3_amd64.deb2022-10-22 12:27 6.5M 
[ ]libghc-sbv-dev_8.17-1+b3_i386.deb2022-10-22 16:57 10M 
[ ]libghc-sbv-dev_10.2-1+b1_i386.deb2024-04-13 12:25 11M 
[ ]libghc-sbv-dev_10.2-1+b2_amd64.deb2024-04-13 11:02 6.8M 
[ ]libghc-sbv-dev_10.2-1+b2_riscv64.deb2024-04-15 20:37 13M 
[ ]libghc-sbv-doc_7.12-2_all.deb2018-10-16 13:56 962K 
[ ]libghc-sbv-doc_8.7-1_all.deb2020-08-17 12:27 1.6M 
[ ]libghc-sbv-doc_8.17-1_all.deb2022-07-30 15:34 1.7M 
[ ]libghc-sbv-doc_10.2-1_all.deb2023-10-06 07:25 1.9M 
[ ]libghc-sbv-prof_7.12-2+b2_amd64.deb2019-03-08 06:25 3.2M 
[ ]libghc-sbv-prof_7.12-2+b2_i386.deb2019-03-08 06:10 3.2M 
[ ]libghc-sbv-prof_8.7-1+b1_amd64.deb2020-08-19 14:55 5.0M 
[ ]libghc-sbv-prof_8.7-1+b1_i386.deb2020-08-19 16:12 5.0M 
[ ]libghc-sbv-prof_8.17-1+b3_amd64.deb2022-10-22 12:27 5.6M 
[ ]libghc-sbv-prof_8.17-1+b3_i386.deb2022-10-22 16:57 8.2M 
[ ]libghc-sbv-prof_10.2-1+b1_i386.deb2024-04-13 12:25 8.7M 
[ ]libghc-sbv-prof_10.2-1+b2_amd64.deb2024-04-13 11:02 5.9M 
[ ]libghc-sbv-prof_10.2-1+b2_riscv64.deb2024-04-15 20:37 13M 
Apache/2.4.57 (Debian) Server at pcleon.if.ufrgs.br Port 80