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

Index of /pub/ubuntu/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.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_amd64.deb                    10-Nov-2023 11:50      7M
libghc-sbv-dev_10.2-1build1_amd64.deb              15-May-2024 14:02      7M
libghc-sbv-dev_5.14-1build3_amd64.deb              04-Nov-2017 05:59      3M
libghc-sbv-dev_5.14-1build3_i386.deb               04-Nov-2017 06:00      3M
libghc-sbv-dev_5.9-1build1_amd64.deb               13-Jan-2016 11:49      2M
libghc-sbv-dev_5.9-1build1_i386.deb                13-Jan-2016 11:50      2M
libghc-sbv-dev_7.13-1build1_amd64.deb              25-Aug-2019 19:33      4M
libghc-sbv-dev_8.17-1build1_amd64.deb              11-Dec-2022 09:49      7M
libghc-sbv-dev_8.7-1build3_amd64.deb               31-Oct-2020 14:33      6M
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_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_amd64.deb                   10-Nov-2023 11:50      7M
libghc-sbv-prof_10.2-1build1_amd64.deb             15-May-2024 14:02      7M
libghc-sbv-prof_5.14-1build3_amd64.deb             04-Nov-2017 05:59      2M
libghc-sbv-prof_5.14-1build3_i386.deb              04-Nov-2017 06:00      2M
libghc-sbv-prof_5.9-1build1_amd64.deb              13-Jan-2016 11:49      2M
libghc-sbv-prof_5.9-1build1_i386.deb               13-Jan-2016 11:50      2M
libghc-sbv-prof_7.13-1build1_amd64.deb             25-Aug-2019 19:33      3M
libghc-sbv-prof_8.17-1build1_amd64.deb             11-Dec-2022 09:49      6M
libghc-sbv-prof_8.7-1build3_amd64.deb              31-Oct-2020 14:33      5M