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