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