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.orig.tar.gz                       08-Nov-2023 09:37             1046101
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_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_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_8.7-1build3_amd64.deb              31-Oct-2020 14:33             5185668