Index of /mirrors/ubuntu ports/pool/universe/h/haskell-sbv/


../
haskell-sbv_10.2-1.debian.tar.xz                   08-Nov-2023 10:37    2880
haskell-sbv_10.2-1.dsc                             08-Nov-2023 10:37    2587
haskell-sbv_10.2-2.debian.tar.xz                   24-Oct-2024 21:19    2912
haskell-sbv_10.2-2.dsc                             24-Oct-2024 21:19    2587
haskell-sbv_10.2.orig.tar.gz                       08-Nov-2023 10:37   1022K
haskell-sbv_5.14-1build3.debian.tar.xz             04-Nov-2017 06:59    2644
haskell-sbv_5.14-1build3.dsc                       04-Nov-2017 06:59    2909
haskell-sbv_5.14.orig.tar.gz                       07-Jul-2017 12:08    515K
haskell-sbv_5.9-1build1.debian.tar.xz              13-Jan-2016 12:19    2348
haskell-sbv_5.9-1build1.dsc                        13-Jan-2016 12:19    2821
haskell-sbv_5.9.orig.tar.gz                        11-Jan-2016 12:14    513K
haskell-sbv_7.13-1build1.debian.tar.xz             08-Aug-2019 12:48    2836
haskell-sbv_7.13-1build1.dsc                       08-Aug-2019 12:48    2624
haskell-sbv_7.13.orig.tar.gz                       28-Jul-2019 12:13    671K
haskell-sbv_8.7-1build3.debian.tar.xz              29-Oct-2020 22:29    2984
haskell-sbv_8.7-1build3.dsc                        29-Oct-2020 22:29    2733
haskell-sbv_8.7.orig.tar.gz                        18-Aug-2020 00:18    853K
libghc-sbv-dev_10.2-1_arm64.deb                    10-Nov-2023 13:35      8M
libghc-sbv-dev_10.2-1_armhf.deb                    11-Nov-2023 00:15     11M
libghc-sbv-dev_10.2-1_ppc64el.deb                  10-Nov-2023 12:51     12M
libghc-sbv-dev_10.2-1_riscv64.deb                  10-Nov-2023 22:14     16M
libghc-sbv-dev_10.2-1_s390x.deb                    10-Nov-2023 13:35     15M
libghc-sbv-dev_10.2-2_arm64.deb                    24-Oct-2024 21:19      8M
libghc-sbv-dev_10.2-2_armhf.deb                    24-Oct-2024 22:58     10M
libghc-sbv-dev_10.2-2_ppc64el.deb                  24-Oct-2024 21:19     10M
libghc-sbv-dev_10.2-2_riscv64.deb                  25-Oct-2024 08:19     15M
libghc-sbv-dev_10.2-2_s390x.deb                    24-Oct-2024 21:19     14M
libghc-sbv-dev_5.14-1build3_arm64.deb              04-Nov-2017 11:59      4M
libghc-sbv-dev_5.14-1build3_armhf.deb              04-Nov-2017 11:59      3M
libghc-sbv-dev_5.14-1build3_ppc64el.deb            04-Nov-2017 07:00      4M
libghc-sbv-dev_5.14-1build3_s390x.deb              04-Nov-2017 07:00      4M
libghc-sbv-dev_5.9-1build1_arm64.deb               13-Jan-2016 13:22      4M
libghc-sbv-dev_5.9-1build1_armhf.deb               13-Jan-2016 14:36      3M
libghc-sbv-dev_5.9-1build1_powerpc.deb             13-Jan-2016 12:50      2M
libghc-sbv-dev_5.9-1build1_ppc64el.deb             13-Jan-2016 12:50      4M
libghc-sbv-dev_5.9-1build1_s390x.deb               13-Jan-2016 12:50      4M
libghc-sbv-dev_7.13-1build1_arm64.deb              25-Aug-2019 21:18      5M
libghc-sbv-dev_7.13-1build1_armhf.deb              25-Aug-2019 21:48      4M
libghc-sbv-dev_7.13-1build1_ppc64el.deb            25-Aug-2019 20:43      6M
libghc-sbv-dev_7.13-1build1_riscv64.deb            08-Apr-2020 22:54      8M
libghc-sbv-dev_7.13-1build1_s390x.deb              25-Aug-2019 20:43      6M
libghc-sbv-dev_8.7-1build3_arm64.deb               31-Oct-2020 18:43      8M
libghc-sbv-dev_8.7-1build3_armhf.deb               01-Nov-2020 06:28      8M
libghc-sbv-dev_8.7-1build3_ppc64el.deb             31-Oct-2020 16:28      9M
libghc-sbv-dev_8.7-1build3_riscv64.deb             01-Nov-2020 17:03     12M
libghc-sbv-dev_8.7-1build3_s390x.deb               31-Oct-2020 18:29     10M
libghc-sbv-doc_10.2-1_all.deb                      10-Nov-2023 12:50      2M
libghc-sbv-doc_10.2-2_all.deb                      24-Oct-2024 21:19      2M
libghc-sbv-doc_5.14-1build3_all.deb                04-Nov-2017 06:59    521K
libghc-sbv-doc_5.9-1build1_all.deb                 13-Jan-2016 12:49    465K
libghc-sbv-doc_7.13-1build1_all.deb                25-Aug-2019 20:33    969K
libghc-sbv-doc_8.7-1build3_all.deb                 31-Oct-2020 15:33      2M
libghc-sbv-prof_10.2-1_arm64.deb                   10-Nov-2023 13:35      8M
libghc-sbv-prof_10.2-1_armhf.deb                   11-Nov-2023 00:15     10M
libghc-sbv-prof_10.2-1_ppc64el.deb                 10-Nov-2023 12:51     10M
libghc-sbv-prof_10.2-1_riscv64.deb                 10-Nov-2023 22:14     17M
libghc-sbv-prof_10.2-1_s390x.deb                   10-Nov-2023 13:35     12M
libghc-sbv-prof_10.2-2_arm64.deb                   24-Oct-2024 21:19      8M
libghc-sbv-prof_10.2-2_armhf.deb                   24-Oct-2024 22:58      9M
libghc-sbv-prof_10.2-2_ppc64el.deb                 24-Oct-2024 21:19      9M
libghc-sbv-prof_10.2-2_riscv64.deb                 25-Oct-2024 08:19     16M
libghc-sbv-prof_10.2-2_s390x.deb                   24-Oct-2024 21:19     10M
libghc-sbv-prof_5.14-1build3_arm64.deb             04-Nov-2017 11:59      3M
libghc-sbv-prof_5.14-1build3_armhf.deb             04-Nov-2017 11:59      3M
libghc-sbv-prof_5.14-1build3_ppc64el.deb           04-Nov-2017 07:00      3M
libghc-sbv-prof_5.14-1build3_s390x.deb             04-Nov-2017 07:00      3M
libghc-sbv-prof_5.9-1build1_arm64.deb              13-Jan-2016 13:22      3M
libghc-sbv-prof_5.9-1build1_armhf.deb              13-Jan-2016 14:36      2M
libghc-sbv-prof_5.9-1build1_powerpc.deb            13-Jan-2016 12:50      2M
libghc-sbv-prof_5.9-1build1_ppc64el.deb            13-Jan-2016 12:50      3M
libghc-sbv-prof_5.9-1build1_s390x.deb              13-Jan-2016 12:50      3M
libghc-sbv-prof_7.13-1build1_arm64.deb             25-Aug-2019 21:18      4M
libghc-sbv-prof_7.13-1build1_armhf.deb             25-Aug-2019 21:48      3M
libghc-sbv-prof_7.13-1build1_ppc64el.deb           25-Aug-2019 20:43      4M
libghc-sbv-prof_7.13-1build1_riscv64.deb           08-Apr-2020 22:54      8M
libghc-sbv-prof_7.13-1build1_s390x.deb             25-Aug-2019 20:43      4M
libghc-sbv-prof_8.7-1build3_arm64.deb              31-Oct-2020 18:43      6M
libghc-sbv-prof_8.7-1build3_armhf.deb              01-Nov-2020 06:28      6M
libghc-sbv-prof_8.7-1build3_ppc64el.deb            31-Oct-2020 16:28      7M
libghc-sbv-prof_8.7-1build3_riscv64.deb            01-Nov-2020 17:03     11M
libghc-sbv-prof_8.7-1build3_s390x.deb              31-Oct-2020 18:29      8M