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

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


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