Index of /Raspbian/raspbian/pool/main/h/haskell-sbv

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libghc-sbv-dev_8.17-1+b2_armhf.deb                 2022-12-07 18:08  9.0M  
 libghc-sbv-dev_10.2-2+b1_armhf.deb                 2024-11-08 12:08  8.9M  
 libghc-sbv-prof_8.17-1+b2_armhf.deb                2022-12-07 18:08  7.8M  
 libghc-sbv-prof_10.2-2+b1_armhf.deb                2024-11-08 12:08  7.7M  
 libghc-sbv-dev_8.7-1+b2_armhf.deb                  2020-10-21 12:08  7.6M  
 libghc-sbv-prof_8.7-1+b2_armhf.deb                 2020-10-21 12:08  6.0M  
 libghc-sbv-dev_7.12-2+b2_armhf.deb                 2019-03-14 00:08  4.1M  
 libghc-sbv-prof_7.12-2+b2_armhf.deb                2019-03-14 00:08  3.4M  
 libghc-sbv-doc_10.2-2_all.deb                      2024-10-06 04:22  1.9M  
 libghc-sbv-doc_8.17-1_all.deb                      2022-07-31 02:34  1.7M  
 libghc-sbv-doc_8.7-1_all.deb                       2020-08-17 23:27  1.6M  
 haskell-sbv_10.2.orig.tar.gz                       2023-10-06 17:38  1.0M  
 libghc-sbv-doc_7.12-2_all.deb                      2018-10-17 00:56  962K  
 haskell-sbv_8.17.orig.tar.gz                       2022-07-30 01:32  929K  
 haskell-sbv_8.7.orig.tar.gz                        2020-08-17 22:46  853K  
 haskell-sbv_7.12.orig.tar.gz                       2018-09-30 18:59  651K  
 haskell-sbv_10.2-2.debian.tar.xz                   2024-10-06 02:58  2.8K  
 haskell-sbv_8.17-1.debian.tar.xz                   2022-07-30 01:32  2.8K  
 haskell-sbv_8.7-1.debian.tar.xz                    2020-08-17 22:46  2.7K  
 haskell-sbv_7.12-2.debian.tar.xz                   2018-10-02 03:32  2.7K  
 haskell-sbv_7.12-2.dsc                             2018-10-02 03:32  2.7K  
 haskell-sbv_8.7-1.dsc                              2020-08-17 22:46  2.6K  
 haskell-sbv_10.2-2.dsc                             2024-10-06 02:58  2.5K  
 haskell-sbv_8.17-1.dsc                             2022-07-30 01:32  2.5K