Index of /debian/pool/main/h/haskell-sbv

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] haskell-sbv_7.12-2.debian.tar.xz       2018-10-01 20:32  2.7K  
[TXT] haskell-sbv_7.12-2.dsc                 2018-10-01 20:32  2.7K  
[   ] haskell-sbv_7.12.orig.tar.gz           2018-09-30 11:59  651K  
[   ] haskell-sbv_8.7-1.debian.tar.xz        2020-08-17 15:46  2.7K  
[TXT] haskell-sbv_8.7-1.dsc                  2020-08-17 15:46  2.6K  
[   ] haskell-sbv_8.7.orig.tar.gz            2020-08-17 15:46  853K  
[   ] haskell-sbv_8.17-1.debian.tar.xz       2022-07-29 18:32  2.8K  
[TXT] haskell-sbv_8.17-1.dsc                 2022-07-29 18:32  2.5K  
[   ] haskell-sbv_8.17.orig.tar.gz           2022-07-29 18:32  929K  
[   ] haskell-sbv_10.2-1.debian.tar.xz       2023-10-06 10:38  2.8K  
[TXT] haskell-sbv_10.2-1.dsc                 2023-10-06 10:38  2.5K  
[   ] haskell-sbv_10.2.orig.tar.gz           2023-10-06 10:38  1.0M  
[   ] libghc-sbv-dev_7.12-2+b2_amd64.deb     2019-03-08 09:25  3.8M  
[   ] libghc-sbv-dev_7.12-2+b2_arm64.deb     2019-03-08 09:55  4.5M  
[   ] libghc-sbv-dev_7.12-2+b2_armhf.deb     2019-03-08 10:25  4.1M  
[   ] libghc-sbv-dev_7.12-2+b2_i386.deb      2019-03-08 09:10  3.7M  
[   ] libghc-sbv-dev_8.7-1+b1_amd64.deb      2020-08-19 18:55  5.7M  
[   ] libghc-sbv-dev_8.7-1+b1_arm64.deb      2020-08-19 19:41  8.0M  
[   ] libghc-sbv-dev_8.7-1+b1_armel.deb      2020-08-19 22:11  7.8M  
[   ] libghc-sbv-dev_8.7-1+b1_armhf.deb      2020-08-19 20:28  7.6M  
[   ] libghc-sbv-dev_8.7-1+b1_i386.deb       2020-08-19 20:12  5.6M  
[   ] libghc-sbv-dev_8.7-1+b1_ppc64el.deb    2020-08-19 20:44  8.6M  
[   ] libghc-sbv-dev_8.7-1+b1_s390x.deb      2020-08-19 20:12  9.9M  
[   ] libghc-sbv-dev_8.7-1_mips64el.deb      2020-08-21 04:44  8.2M  
[   ] libghc-sbv-dev_8.7-1_mipsel.deb        2020-08-19 08:43  7.8M  
[   ] libghc-sbv-dev_8.17-1+b3_amd64.deb     2022-10-22 16:27  6.5M  
[   ] libghc-sbv-dev_8.17-1+b3_arm64.deb     2022-10-22 18:45  9.6M  
[   ] libghc-sbv-dev_8.17-1+b3_armel.deb     2022-10-22 21:13  9.1M  
[   ] libghc-sbv-dev_8.17-1+b3_armhf.deb     2022-10-22 20:42  9.0M  
[   ] libghc-sbv-dev_8.17-1+b3_i386.deb      2022-10-22 20:57   10M  
[   ] libghc-sbv-dev_8.17-1+b3_mips64el.deb  2022-10-27 22:27  9.3M  
[   ] libghc-sbv-dev_8.17-1+b3_mipsel.deb    2022-10-27 18:44  8.9M  
[   ] libghc-sbv-dev_8.17-1+b3_ppc64el.deb   2022-10-24 13:58  9.7M  
[   ] libghc-sbv-dev_8.17-1+b3_s390x.deb     2022-10-24 12:37   12M  
[   ] libghc-sbv-dev_10.2-1+b1_amd64.deb     2023-10-21 12:13  6.7M  
[   ] libghc-sbv-dev_10.2-1+b1_arm64.deb     2023-10-22 14:58  7.4M  
[   ] libghc-sbv-dev_10.2-1+b1_i386.deb      2024-04-13 16:25   11M  
[   ] libghc-sbv-dev_10.2-1+b1_mips64el.deb  2023-11-01 01:41  9.9M  
[   ] libghc-sbv-dev_10.2-1+b1_ppc64el.deb   2023-10-21 10:56   10M  
[   ] libghc-sbv-dev_10.2-1+b1_s390x.deb     2023-10-21 12:13   13M  
[   ] libghc-sbv-dev_10.2-1+b2_amd64.deb     2024-04-13 15:02  6.8M  
[   ] libghc-sbv-dev_10.2-1+b2_arm64.deb     2024-04-13 15:24  7.4M  
[   ] libghc-sbv-dev_10.2-1+b2_armel.deb     2024-04-13 16:25  9.6M  
[   ] libghc-sbv-dev_10.2-1+b2_armhf.deb     2024-04-13 17:02  9.5M  
[   ] libghc-sbv-dev_10.2-1+b2_mips64el.deb  2024-04-14 05:09  9.9M  
[   ] libghc-sbv-dev_10.2-1+b2_ppc64el.deb   2024-04-13 15:24   10M  
[   ] libghc-sbv-dev_10.2-1+b2_riscv64.deb   2024-04-16 00:37   13M  
[   ] libghc-sbv-dev_10.2-1+b2_s390x.deb     2024-04-13 15:34   13M  
[   ] libghc-sbv-dev_10.2-1_armel.deb        2023-10-30 17:12  9.6M  
[   ] libghc-sbv-dev_10.2-1_armhf.deb        2023-10-30 19:29  9.5M  
[   ] libghc-sbv-dev_10.2-1_i386.deb         2023-10-30 15:12   11M  
[   ] libghc-sbv-doc_7.12-2_all.deb          2018-10-16 17:56  962K  
[   ] libghc-sbv-doc_8.7-1_all.deb           2020-08-17 16:27  1.6M  
[   ] libghc-sbv-doc_8.17-1_all.deb          2022-07-30 19:34  1.7M  
[   ] libghc-sbv-doc_10.2-1_all.deb          2023-10-06 11:25  1.9M  
[   ] libghc-sbv-prof_7.12-2+b2_amd64.deb    2019-03-08 09:25  3.2M  
[   ] libghc-sbv-prof_7.12-2+b2_arm64.deb    2019-03-08 09:55  3.6M  
[   ] libghc-sbv-prof_7.12-2+b2_armhf.deb    2019-03-08 10:25  3.4M  
[   ] libghc-sbv-prof_7.12-2+b2_i386.deb     2019-03-08 09:10  3.2M  
[   ] libghc-sbv-prof_8.7-1+b1_amd64.deb     2020-08-19 18:55  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_arm64.deb     2020-08-19 19:41  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armel.deb     2020-08-19 22:11  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armhf.deb     2020-08-19 20:28  6.0M  
[   ] libghc-sbv-prof_8.7-1+b1_i386.deb      2020-08-19 20:12  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_ppc64el.deb   2020-08-19 20:44  6.8M  
[   ] libghc-sbv-prof_8.7-1+b1_s390x.deb     2020-08-19 20:12  7.9M  
[   ] libghc-sbv-prof_8.7-1_mips64el.deb     2020-08-21 04:44  6.7M  
[   ] libghc-sbv-prof_8.7-1_mipsel.deb       2020-08-19 08:43  6.4M  
[   ] libghc-sbv-prof_8.17-1+b3_amd64.deb    2022-10-22 16:27  5.6M  
[   ] libghc-sbv-prof_8.17-1+b3_arm64.deb    2022-10-22 18:45  8.5M  
[   ] libghc-sbv-prof_8.17-1+b3_armel.deb    2022-10-22 21:13  8.0M  
[   ] libghc-sbv-prof_8.17-1+b3_armhf.deb    2022-10-22 20:42  7.8M  
[   ] libghc-sbv-prof_8.17-1+b3_i386.deb     2022-10-22 20:57  8.2M  
[   ] libghc-sbv-prof_8.17-1+b3_mips64el.deb 2022-10-27 22:27  7.5M  
[   ] libghc-sbv-prof_8.17-1+b3_mipsel.deb   2022-10-27 18:44  7.3M  
[   ] libghc-sbv-prof_8.17-1+b3_ppc64el.deb  2022-10-24 13:58  7.6M  
[   ] libghc-sbv-prof_8.17-1+b3_s390x.deb    2022-10-24 12:37  9.0M  
[   ] libghc-sbv-prof_10.2-1+b1_amd64.deb    2023-10-21 12:13  5.9M  
[   ] libghc-sbv-prof_10.2-1+b1_arm64.deb    2023-10-22 14:58  7.0M  
[   ] libghc-sbv-prof_10.2-1+b1_i386.deb     2024-04-13 16:25  8.7M  
[   ] libghc-sbv-prof_10.2-1+b1_mips64el.deb 2023-11-01 01:41  8.0M  
[   ] libghc-sbv-prof_10.2-1+b1_ppc64el.deb  2023-10-21 10:56  8.0M  
[   ] libghc-sbv-prof_10.2-1+b1_s390x.deb    2023-10-21 12:13  9.8M  
[   ] libghc-sbv-prof_10.2-1+b2_amd64.deb    2024-04-13 15:02  5.9M  
[   ] libghc-sbv-prof_10.2-1+b2_arm64.deb    2024-04-13 15:24  7.0M  
[   ] libghc-sbv-prof_10.2-1+b2_armel.deb    2024-04-13 16:25  8.4M  
[   ] libghc-sbv-prof_10.2-1+b2_armhf.deb    2024-04-13 17:02  8.3M  
[   ] libghc-sbv-prof_10.2-1+b2_mips64el.deb 2024-04-14 05:09  8.0M  
[   ] libghc-sbv-prof_10.2-1+b2_ppc64el.deb  2024-04-13 15:24  8.0M  
[   ] libghc-sbv-prof_10.2-1+b2_riscv64.deb  2024-04-16 00:37   13M  
[   ] libghc-sbv-prof_10.2-1+b2_s390x.deb    2024-04-13 15:34  9.8M  
[   ] libghc-sbv-prof_10.2-1_armel.deb       2023-10-30 17:12  8.4M  
[   ] libghc-sbv-prof_10.2-1_armhf.deb       2023-10-30 19:29  8.3M  
[   ] libghc-sbv-prof_10.2-1_i386.deb        2023-10-30 15:12  8.7M
Universidade do Porto | Helpdesk