Index of /nova/pool/extendido/h/haskell-sbv/


../
haskell-sbv_5.14-1build3.debian.tar.xz             11-Jun-2020 04:16                2644
haskell-sbv_5.14-1build3.dsc                       11-Jun-2020 04:16                2909
haskell-sbv_5.14.orig.tar.gz                       11-Jun-2020 04:16              527280
haskell-sbv_7.13-1build1.debian.tar.xz             21-Jun-2020 15:48                2836
haskell-sbv_7.13-1build1.dsc                       21-Jun-2020 15:48                2624
haskell-sbv_7.13.orig.tar.gz                       21-Jun-2020 15:48              687006
haskell-sbv_8.7-1build3.debian.tar.xz              01-May-2022 10:26                2984
haskell-sbv_8.7-1build3.dsc                        01-May-2022 10:26                2733
haskell-sbv_8.7.orig.tar.gz                        01-May-2022 10:26              873246
libghc-sbv-dev_5.14-1build3_amd64.deb              11-Jun-2020 02:29             2873904
libghc-sbv-dev_5.14-1build3_i386.deb               11-Jun-2020 03:53             2757876
libghc-sbv-dev_7.13-1build1_amd64.deb              22-Jun-2020 18:22             3983488
libghc-sbv-dev_8.7-1build3_amd64.deb               30-Apr-2022 07:15             5948068
libghc-sbv-doc_5.14-1build3_all.deb                11-Jun-2020 04:47              533368
libghc-sbv-doc_7.13-1build1_all.deb                21-Jun-2020 18:52              992652
libghc-sbv-doc_8.7-1build3_all.deb                 30-Apr-2022 08:59             1590596
libghc-sbv-prof_5.14-1build3_amd64.deb             11-Jun-2020 04:14             2351160
libghc-sbv-prof_5.14-1build3_i386.deb              11-Jun-2020 02:49             2318408
libghc-sbv-prof_7.13-1build1_amd64.deb             22-Jun-2020 16:35             3384244
libghc-sbv-prof_8.7-1build3_amd64.deb              30-Apr-2022 03:20             5185668