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

Icon  Name                                   Last modified      Size  
[PARENTDIR] Parent Directory                                            -   
[   ] haskell-sbv_10.2-2.debian.tar.xz       2024-10-05 20:58  2.8K  
[   ] haskell-sbv_10.2-2.dsc                 2024-10-05 20:58  2.5K  
[   ] haskell-sbv_10.2.orig.tar.gz           2023-10-06 11:38  1.0M  
[   ] haskell-sbv_7.12-2.debian.tar.xz       2018-10-01 21:32  2.7K  
[   ] haskell-sbv_7.12-2.dsc                 2018-10-01 21:32  2.7K  
[   ] haskell-sbv_7.12.orig.tar.gz           2018-09-30 12:59  651K  
[   ] haskell-sbv_8.17-1.debian.tar.xz       2022-07-29 19:32  2.8K  
[   ] haskell-sbv_8.17-1.dsc                 2022-07-29 19:32  2.5K  
[   ] haskell-sbv_8.17.orig.tar.gz           2022-07-29 19:32  929K  
[   ] haskell-sbv_8.7-1.debian.tar.xz        2020-08-17 16:46  2.7K  
[   ] haskell-sbv_8.7-1.dsc                  2020-08-17 16:46  2.6K  
[   ] haskell-sbv_8.7.orig.tar.gz            2020-08-17 16:46  853K  
[   ] libghc-sbv-dev_10.2-2+b1_armel.deb     2024-10-17 00:27  9.1M  
[   ] libghc-sbv-dev_10.2-2+b1_armhf.deb     2024-10-17 01:23  8.9M  
[   ] libghc-sbv-dev_10.2-2+b1_i386.deb      2024-10-17 00:17   10M  
[   ] libghc-sbv-dev_10.2-2+b1_mips64el.deb  2024-10-17 00:02  9.4M  
[   ] libghc-sbv-dev_10.2-2_amd64.deb        2024-10-05 22:21  6.4M  
[   ] libghc-sbv-dev_10.2-2_arm64.deb        2024-10-05 22:52  7.0M  
[   ] libghc-sbv-dev_10.2-2_ppc64el.deb      2024-10-05 22:27  9.0M  
[   ] libghc-sbv-dev_10.2-2_riscv64.deb      2024-10-06 16:14   13M  
[   ] libghc-sbv-dev_10.2-2_s390x.deb        2024-10-05 23:40   12M  
[   ] libghc-sbv-dev_7.12-2+b2_amd64.deb     2019-03-08 10:25  3.8M  
[   ] libghc-sbv-dev_7.12-2+b2_arm64.deb     2019-03-08 10:55  4.5M  
[   ] libghc-sbv-dev_7.12-2+b2_armhf.deb     2019-03-08 11:25  4.1M  
[   ] libghc-sbv-dev_7.12-2+b2_i386.deb      2019-03-08 10:10  3.7M  
[   ] libghc-sbv-dev_8.17-1+b3_amd64.deb     2022-10-22 17:27  6.5M  
[   ] libghc-sbv-dev_8.17-1+b3_arm64.deb     2022-10-22 19:45  9.6M  
[   ] libghc-sbv-dev_8.17-1+b3_armel.deb     2022-10-22 22:13  9.1M  
[   ] libghc-sbv-dev_8.17-1+b3_armhf.deb     2022-10-22 21:42  9.0M  
[   ] libghc-sbv-dev_8.17-1+b3_i386.deb      2022-10-22 21:57   10M  
[   ] libghc-sbv-dev_8.17-1+b3_mips64el.deb  2022-10-27 23:27  9.3M  
[   ] libghc-sbv-dev_8.17-1+b3_mipsel.deb    2022-10-27 19:44  8.9M  
[   ] libghc-sbv-dev_8.17-1+b3_ppc64el.deb   2022-10-24 14:58  9.7M  
[   ] libghc-sbv-dev_8.17-1+b3_s390x.deb     2022-10-24 13:37   12M  
[   ] libghc-sbv-dev_8.7-1+b1_amd64.deb      2020-08-19 19:55  5.7M  
[   ] libghc-sbv-dev_8.7-1+b1_arm64.deb      2020-08-19 20:41  8.0M  
[   ] libghc-sbv-dev_8.7-1+b1_armel.deb      2020-08-19 23:11  7.8M  
[   ] libghc-sbv-dev_8.7-1+b1_armhf.deb      2020-08-19 21:28  7.6M  
[   ] libghc-sbv-dev_8.7-1+b1_i386.deb       2020-08-19 21:12  5.6M  
[   ] libghc-sbv-dev_8.7-1+b1_ppc64el.deb    2020-08-19 21:44  8.6M  
[   ] libghc-sbv-dev_8.7-1+b1_s390x.deb      2020-08-19 21:12  9.9M  
[   ] libghc-sbv-dev_8.7-1_mips64el.deb      2020-08-21 05:44  8.2M  
[   ] libghc-sbv-dev_8.7-1_mipsel.deb        2020-08-19 09:43  7.8M  
[   ] libghc-sbv-doc_10.2-2_all.deb          2024-10-05 22:22  1.9M  
[   ] libghc-sbv-doc_7.12-2_all.deb          2018-10-16 18:56  962K  
[   ] libghc-sbv-doc_8.17-1_all.deb          2022-07-30 20:34  1.7M  
[   ] libghc-sbv-doc_8.7-1_all.deb           2020-08-17 17:27  1.6M  
[   ] libghc-sbv-prof_10.2-2+b1_armel.deb    2024-10-17 00:27  7.8M  
[   ] libghc-sbv-prof_10.2-2+b1_armhf.deb    2024-10-17 01:23  7.7M  
[   ] libghc-sbv-prof_10.2-2+b1_i386.deb     2024-10-17 00:17  8.3M  
[   ] libghc-sbv-prof_10.2-2+b1_mips64el.deb 2024-10-17 00:02  7.8M  
[   ] libghc-sbv-prof_10.2-2_amd64.deb       2024-10-05 22:21  5.7M  
[   ] libghc-sbv-prof_10.2-2_arm64.deb       2024-10-05 22:52  6.7M  
[   ] libghc-sbv-prof_10.2-2_ppc64el.deb     2024-10-05 22:27  7.8M  
[   ] libghc-sbv-prof_10.2-2_riscv64.deb     2024-10-06 16:14   13M  
[   ] libghc-sbv-prof_10.2-2_s390x.deb       2024-10-05 23:40  8.9M  
[   ] libghc-sbv-prof_7.12-2+b2_amd64.deb    2019-03-08 10:25  3.2M  
[   ] libghc-sbv-prof_7.12-2+b2_arm64.deb    2019-03-08 10:55  3.6M  
[   ] libghc-sbv-prof_7.12-2+b2_armhf.deb    2019-03-08 11:25  3.4M  
[   ] libghc-sbv-prof_7.12-2+b2_i386.deb     2019-03-08 10:10  3.2M  
[   ] libghc-sbv-prof_8.17-1+b3_amd64.deb    2022-10-22 17:27  5.6M  
[   ] libghc-sbv-prof_8.17-1+b3_arm64.deb    2022-10-22 19:45  8.5M  
[   ] libghc-sbv-prof_8.17-1+b3_armel.deb    2022-10-22 22:13  8.0M  
[   ] libghc-sbv-prof_8.17-1+b3_armhf.deb    2022-10-22 21:42  7.8M  
[   ] libghc-sbv-prof_8.17-1+b3_i386.deb     2022-10-22 21:57  8.2M  
[   ] libghc-sbv-prof_8.17-1+b3_mips64el.deb 2022-10-27 23:27  7.5M  
[   ] libghc-sbv-prof_8.17-1+b3_mipsel.deb   2022-10-27 19:44  7.3M  
[   ] libghc-sbv-prof_8.17-1+b3_ppc64el.deb  2022-10-24 14:58  7.6M  
[   ] libghc-sbv-prof_8.17-1+b3_s390x.deb    2022-10-24 13:37  9.0M  
[   ] libghc-sbv-prof_8.7-1+b1_amd64.deb     2020-08-19 19:55  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_arm64.deb     2020-08-19 20:41  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armel.deb     2020-08-19 23:11  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armhf.deb     2020-08-19 21:28  6.0M  
[   ] libghc-sbv-prof_8.7-1+b1_i386.deb      2020-08-19 21:12  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_ppc64el.deb   2020-08-19 21:44  6.8M  
[   ] libghc-sbv-prof_8.7-1+b1_s390x.deb     2020-08-19 21:12  7.9M  
[   ] libghc-sbv-prof_8.7-1_mips64el.deb     2020-08-21 05:44  6.7M  
[   ] libghc-sbv-prof_8.7-1_mipsel.deb       2020-08-19 09:43  6.4M
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80