Index of /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-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             1046101
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              527280
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              525743
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              687006
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              873246
libghc-sbv-dev_10.2-1_amd64.deb                    10-Nov-2023 11:50             7586862
libghc-sbv-dev_10.2-1build1_amd64.deb              15-May-2024 14:02             7601990
libghc-sbv-dev_10.2-2_amd64.deb                    24-Oct-2024 20:19             7155876
libghc-sbv-dev_5.14-1build3_amd64.deb              04-Nov-2017 05:59             2873904
libghc-sbv-dev_5.9-1build1_amd64.deb               13-Jan-2016 11:49             2521084
libghc-sbv-dev_7.13-1build1_amd64.deb              25-Aug-2019 19:33             3983488
libghc-sbv-dev_8.7-1build3_amd64.deb               31-Oct-2020 14:33             5948068
libghc-sbv-doc_10.2-1_all.deb                      10-Nov-2023 11:50             1761396
libghc-sbv-doc_10.2-1build1_all.deb                15-May-2024 14:02             1759702
libghc-sbv-doc_10.2-2_all.deb                      24-Oct-2024 20:19             1747426
libghc-sbv-doc_5.14-1build3_all.deb                04-Nov-2017 05:59              533368
libghc-sbv-doc_5.9-1build1_all.deb                 13-Jan-2016 11:49              476590
libghc-sbv-doc_7.13-1build1_all.deb                25-Aug-2019 19:33              992652
libghc-sbv-doc_8.7-1build3_all.deb                 31-Oct-2020 14:33             1590596
libghc-sbv-prof_10.2-1_amd64.deb                   10-Nov-2023 11:50             6851036
libghc-sbv-prof_10.2-1build1_amd64.deb             15-May-2024 14:02             6860806
libghc-sbv-prof_10.2-2_amd64.deb                   24-Oct-2024 20:19             6630456
libghc-sbv-prof_5.14-1build3_amd64.deb             04-Nov-2017 05:59             2351160
libghc-sbv-prof_5.9-1build1_amd64.deb              13-Jan-2016 11:49             1945982
libghc-sbv-prof_7.13-1build1_amd64.deb             25-Aug-2019 19:33             3384244
libghc-sbv-prof_8.7-1build3_amd64.deb              31-Oct-2020 14:33             5185668