Index of /ubuntu-ports/pool/universe/h/haskell-sbv

Icon  Name                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                              -   
[   ] haskell-sbv_10.2-1.debian.tar.xz         2023-11-08 10:37  2.8K  
[   ] haskell-sbv_10.2-1.dsc                   2023-11-08 10:37  2.5K  
[   ] haskell-sbv_10.2-1build1.debian.tar.xz   2024-05-15 12:09  2.9K  
[   ] haskell-sbv_10.2-1build1.dsc             2024-05-15 12:09  2.5K  
[   ] haskell-sbv_10.2-2.debian.tar.xz         2024-10-24 22:19  2.8K  
[   ] haskell-sbv_10.2-2.dsc                   2024-10-24 22:19  2.5K  
[   ] haskell-sbv_10.2.orig.tar.gz             2023-11-08 10:37  1.0M  
[   ] haskell-sbv_5.14-1build3.debian.tar.xz   2017-11-04 06:59  2.6K  
[   ] haskell-sbv_5.14-1build3.dsc             2017-11-04 06:59  2.8K  
[   ] haskell-sbv_5.14.orig.tar.gz             2017-07-07 13:08  515K  
[   ] haskell-sbv_5.9-1build1.debian.tar.xz    2016-01-13 12:19  2.3K  
[   ] haskell-sbv_5.9-1build1.dsc              2016-01-13 12:19  2.8K  
[   ] haskell-sbv_5.9.orig.tar.gz              2016-01-11 12:14  513K  
[   ] haskell-sbv_7.13-1build1.debian.tar.xz   2019-08-08 13:48  2.8K  
[   ] haskell-sbv_7.13-1build1.dsc             2019-08-08 13:48  2.6K  
[   ] haskell-sbv_7.13.orig.tar.gz             2019-07-28 13:13  671K  
[   ] haskell-sbv_8.7-1build3.debian.tar.xz    2020-10-29 22:29  2.9K  
[   ] haskell-sbv_8.7-1build3.dsc              2020-10-29 22:29  2.7K  
[   ] haskell-sbv_8.7.orig.tar.gz              2020-08-18 01:18  853K  
[   ] libghc-sbv-dev_10.2-1_arm64.deb          2023-11-10 13:35  8.4M  
[   ] libghc-sbv-dev_10.2-1_armhf.deb          2023-11-11 00:15   11M  
[   ] libghc-sbv-dev_10.2-1_ppc64el.deb        2023-11-10 12:51   12M  
[   ] libghc-sbv-dev_10.2-1_riscv64.deb        2023-11-10 22:14   16M  
[   ] libghc-sbv-dev_10.2-1_s390x.deb          2023-11-10 13:35   15M  
[   ] libghc-sbv-dev_10.2-1build1_arm64.deb    2024-05-16 02:40  8.4M  
[   ] libghc-sbv-dev_10.2-1build1_armhf.deb    2024-05-18 03:58   11M  
[   ] libghc-sbv-dev_10.2-1build1_ppc64el.deb  2024-05-16 05:05   12M  
[   ] libghc-sbv-dev_10.2-1build1_riscv64.deb  2024-05-15 23:30   16M  
[   ] libghc-sbv-dev_10.2-1build1_s390x.deb    2024-05-16 16:59   15M  
[   ] libghc-sbv-dev_10.2-2_arm64.deb          2024-10-24 22:19  7.8M  
[   ] libghc-sbv-dev_10.2-2_armhf.deb          2024-10-24 23:58   10M  
[   ] libghc-sbv-dev_10.2-2_ppc64el.deb        2024-10-24 22:19   10M  
[   ] libghc-sbv-dev_10.2-2_riscv64.deb        2024-10-25 09:19   15M  
[   ] libghc-sbv-dev_10.2-2_s390x.deb          2024-10-24 22:19   14M  
[   ] libghc-sbv-dev_5.14-1build3_arm64.deb    2017-11-04 11:59  4.2M  
[   ] libghc-sbv-dev_5.14-1build3_armhf.deb    2017-11-04 11:59  3.4M  
[   ] libghc-sbv-dev_5.14-1build3_ppc64el.deb  2017-11-04 07:00  3.8M  
[   ] libghc-sbv-dev_5.14-1build3_s390x.deb    2017-11-04 07:00  4.3M  
[   ] libghc-sbv-dev_5.9-1build1_arm64.deb     2016-01-13 13:22  3.7M  
[   ] libghc-sbv-dev_5.9-1build1_armhf.deb     2016-01-13 14:36  3.1M  
[   ] libghc-sbv-dev_5.9-1build1_powerpc.deb   2016-01-13 12:50  2.3M  
[   ] libghc-sbv-dev_5.9-1build1_ppc64el.deb   2016-01-13 12:50  3.7M  
[   ] libghc-sbv-dev_5.9-1build1_s390x.deb     2016-01-13 12:50  3.8M  
[   ] libghc-sbv-dev_7.13-1build1_arm64.deb    2019-08-25 22:18  4.6M  
[   ] libghc-sbv-dev_7.13-1build1_armhf.deb    2019-08-25 22:48  4.1M  
[   ] libghc-sbv-dev_7.13-1build1_ppc64el.deb  2019-08-25 21:43  5.6M  
[   ] libghc-sbv-dev_7.13-1build1_riscv64.deb  2020-04-08 23:54  8.3M  
[   ] libghc-sbv-dev_7.13-1build1_s390x.deb    2019-08-25 21:43  5.7M  
[   ] libghc-sbv-dev_8.7-1build3_arm64.deb     2020-10-31 18:43  8.0M  
[   ] libghc-sbv-dev_8.7-1build3_armhf.deb     2020-11-01 06:28  7.6M  
[   ] libghc-sbv-dev_8.7-1build3_ppc64el.deb   2020-10-31 16:28  8.5M  
[   ] libghc-sbv-dev_8.7-1build3_riscv64.deb   2020-11-01 17:03   12M  
[   ] libghc-sbv-dev_8.7-1build3_s390x.deb     2020-10-31 18:29  9.7M  
[   ] libghc-sbv-doc_10.2-1_all.deb            2023-11-10 12:50  1.7M  
[   ] libghc-sbv-doc_10.2-1build1_all.deb      2024-05-15 16:02  1.7M  
[   ] libghc-sbv-doc_10.2-2_all.deb            2024-10-24 22:19  1.7M  
[   ] libghc-sbv-doc_5.14-1build3_all.deb      2017-11-04 06:59  521K  
[   ] libghc-sbv-doc_5.9-1build1_all.deb       2016-01-13 12:49  465K  
[   ] libghc-sbv-doc_7.13-1build1_all.deb      2019-08-25 21:33  969K  
[   ] libghc-sbv-doc_8.7-1build3_all.deb       2020-10-31 15:33  1.5M  
[   ] libghc-sbv-prof_10.2-1_arm64.deb         2023-11-10 13:35  8.3M  
[   ] libghc-sbv-prof_10.2-1_armhf.deb         2023-11-11 00:15  9.6M  
[   ] libghc-sbv-prof_10.2-1_ppc64el.deb       2023-11-10 12:51  9.8M  
[   ] libghc-sbv-prof_10.2-1_riscv64.deb       2023-11-10 22:14   17M  
[   ] libghc-sbv-prof_10.2-1_s390x.deb         2023-11-10 13:35   12M  
[   ] libghc-sbv-prof_10.2-1build1_arm64.deb   2024-05-16 02:40  8.3M  
[   ] libghc-sbv-prof_10.2-1build1_armhf.deb   2024-05-18 03:58  9.6M  
[   ] libghc-sbv-prof_10.2-1build1_ppc64el.deb 2024-05-16 05:05  9.8M  
[   ] libghc-sbv-prof_10.2-1build1_riscv64.deb 2024-05-15 23:30   17M  
[   ] libghc-sbv-prof_10.2-1build1_s390x.deb   2024-05-16 16:59   12M  
[   ] libghc-sbv-prof_10.2-2_arm64.deb         2024-10-24 22:19  7.9M  
[   ] libghc-sbv-prof_10.2-2_armhf.deb         2024-10-24 23:58  8.8M  
[   ] libghc-sbv-prof_10.2-2_ppc64el.deb       2024-10-24 22:19  9.4M  
[   ] libghc-sbv-prof_10.2-2_riscv64.deb       2024-10-25 09:19   16M  
[   ] libghc-sbv-prof_10.2-2_s390x.deb         2024-10-24 22:19   10M  
[   ] libghc-sbv-prof_5.14-1build3_arm64.deb   2017-11-04 11:59  3.1M  
[   ] libghc-sbv-prof_5.14-1build3_armhf.deb   2017-11-04 11:59  2.8M  
[   ] libghc-sbv-prof_5.14-1build3_ppc64el.deb 2017-11-04 07:00  3.2M  
[   ] libghc-sbv-prof_5.14-1build3_s390x.deb   2017-11-04 07:00  2.9M  
[   ] libghc-sbv-prof_5.9-1build1_arm64.deb    2016-01-13 13:22  2.7M  
[   ] libghc-sbv-prof_5.9-1build1_armhf.deb    2016-01-13 14:36  2.3M  
[   ] libghc-sbv-prof_5.9-1build1_powerpc.deb  2016-01-13 12:50  1.9M  
[   ] libghc-sbv-prof_5.9-1build1_ppc64el.deb  2016-01-13 12:50  2.9M  
[   ] libghc-sbv-prof_5.9-1build1_s390x.deb    2016-01-13 12:50  2.5M  
[   ] libghc-sbv-prof_7.13-1build1_arm64.deb   2019-08-25 22:18  3.6M  
[   ] libghc-sbv-prof_7.13-1build1_armhf.deb   2019-08-25 22:48  3.5M  
[   ] libghc-sbv-prof_7.13-1build1_ppc64el.deb 2019-08-25 21:43  4.3M  
[   ] libghc-sbv-prof_7.13-1build1_riscv64.deb 2020-04-08 23:54  7.9M  
[   ] libghc-sbv-prof_7.13-1build1_s390x.deb   2019-08-25 21:43  3.9M  
[   ] libghc-sbv-prof_8.7-1build3_arm64.deb    2020-10-31 18:43  6.1M  
[   ] libghc-sbv-prof_8.7-1build3_armhf.deb    2020-11-01 06:28  5.9M  
[   ] libghc-sbv-prof_8.7-1build3_ppc64el.deb  2020-10-31 16:28  6.8M  
[   ] libghc-sbv-prof_8.7-1build3_riscv64.deb  2020-11-01 17:03   11M  
[   ] libghc-sbv-prof_8.7-1build3_s390x.deb    2020-10-31 18:29  7.8M
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443