Index of /software/Linux/debian/pool/main/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
haskell-sbv_7.12-2.debian.tar.xz
2018-10-01 20:32
2.7K
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
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
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-2.debian.tar.xz
2024-10-05 19:58
2.8K
haskell-sbv_10.2-2.dsc
2024-10-05 19:58
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-2+b1_armel.deb
2024-10-16 23:27
9.1M
libghc-sbv-dev_10.2-2+b1_armhf.deb
2024-10-17 00:23
8.9M
libghc-sbv-dev_10.2-2+b1_i386.deb
2024-10-16 23:17
10M
libghc-sbv-dev_10.2-2+b1_mips64el.deb
2024-10-16 23:02
9.4M
libghc-sbv-dev_10.2-2_amd64.deb
2024-10-05 21:21
6.4M
libghc-sbv-dev_10.2-2_arm64.deb
2024-10-05 21:52
7.0M
libghc-sbv-dev_10.2-2_ppc64el.deb
2024-10-05 21:27
9.0M
libghc-sbv-dev_10.2-2_riscv64.deb
2024-10-06 15:14
13M
libghc-sbv-dev_10.2-2_s390x.deb
2024-10-05 22:40
12M
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-2_all.deb
2024-10-05 21:22
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-2+b1_armel.deb
2024-10-16 23:27
7.8M
libghc-sbv-prof_10.2-2+b1_armhf.deb
2024-10-17 00:23
7.7M
libghc-sbv-prof_10.2-2+b1_i386.deb
2024-10-16 23:17
8.3M
libghc-sbv-prof_10.2-2+b1_mips64el.deb
2024-10-16 23:02
7.8M
libghc-sbv-prof_10.2-2_amd64.deb
2024-10-05 21:21
5.7M
libghc-sbv-prof_10.2-2_arm64.deb
2024-10-05 21:52
6.7M
libghc-sbv-prof_10.2-2_ppc64el.deb
2024-10-05 21:27
7.8M
libghc-sbv-prof_10.2-2_riscv64.deb
2024-10-06 15:14
13M
libghc-sbv-prof_10.2-2_s390x.deb
2024-10-05 22:40
8.9M
DEQ/FCTUC Server at ftp.eq.uc.pt Port 80