Index of /trisquel/packages/pool/main/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.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.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-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_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_7.13-1build1_armhf.deb              25-Aug-2019 20:48      4M
libghc-sbv-dev_8.7-1build3_amd64.deb               31-Oct-2020 14:33      6M
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-doc_10.2-1_all.deb                      10-Nov-2023 11:50      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.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-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_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_7.13-1build1_armhf.deb             25-Aug-2019 20:48      3M
libghc-sbv-prof_8.7-1build3_amd64.deb              31-Oct-2020 14:33      5M
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