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


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