Index of /debian/pool/main/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
haskell-sbv_7.12.orig.tar.gz
2018-09-30 13:59
651K
haskell-sbv_7.12-2.debian.tar.xz
2018-10-01 22:32
2.7K
haskell-sbv_7.12-2.dsc
2018-10-01 22:32
2.7K
libghc-sbv-doc_7.12-2_all.deb
2018-10-16 19:56
962K
libghc-sbv-dev_7.12-2+b2_i386.deb
2019-03-08 11:10
3.7M
libghc-sbv-prof_7.12-2+b2_i386.deb
2019-03-08 11:10
3.2M
libghc-sbv-dev_7.12-2+b2_amd64.deb
2019-03-08 11:25
3.8M
libghc-sbv-prof_7.12-2+b2_amd64.deb
2019-03-08 11:25
3.2M
libghc-sbv-dev_7.12-2+b2_arm64.deb
2019-03-08 11:55
4.5M
libghc-sbv-prof_7.12-2+b2_arm64.deb
2019-03-08 11:55
3.6M
libghc-sbv-dev_7.12-2+b2_armhf.deb
2019-03-08 12:25
4.1M
libghc-sbv-prof_7.12-2+b2_armhf.deb
2019-03-08 12:25
3.4M
haskell-sbv_8.7-1.dsc
2020-08-17 17:46
2.6K
haskell-sbv_8.7-1.debian.tar.xz
2020-08-17 17:46
2.7K
haskell-sbv_8.7.orig.tar.gz
2020-08-17 17:46
853K
libghc-sbv-doc_8.7-1_all.deb
2020-08-17 18:27
1.6M
libghc-sbv-dev_8.7-1_mipsel.deb
2020-08-19 10:43
7.8M
libghc-sbv-prof_8.7-1_mipsel.deb
2020-08-19 10:43
6.4M
libghc-sbv-dev_8.7-1+b1_amd64.deb
2020-08-19 20:55
5.7M
libghc-sbv-prof_8.7-1+b1_amd64.deb
2020-08-19 20:55
5.0M
libghc-sbv-dev_8.7-1+b1_arm64.deb
2020-08-19 21:41
8.0M
libghc-sbv-prof_8.7-1+b1_arm64.deb
2020-08-19 21:41
6.1M
libghc-sbv-dev_8.7-1+b1_i386.deb
2020-08-19 22:12
5.6M
libghc-sbv-prof_8.7-1+b1_i386.deb
2020-08-19 22:12
5.0M
libghc-sbv-dev_8.7-1+b1_s390x.deb
2020-08-19 22:12
9.9M
libghc-sbv-prof_8.7-1+b1_s390x.deb
2020-08-19 22:12
7.9M
libghc-sbv-dev_8.7-1+b1_armhf.deb
2020-08-19 22:28
7.6M
libghc-sbv-prof_8.7-1+b1_armhf.deb
2020-08-19 22:28
6.0M
libghc-sbv-dev_8.7-1+b1_ppc64el.deb
2020-08-19 22:44
8.6M
libghc-sbv-prof_8.7-1+b1_ppc64el.deb
2020-08-19 22:44
6.8M
libghc-sbv-dev_8.7-1+b1_armel.deb
2020-08-20 00:11
7.8M
libghc-sbv-prof_8.7-1+b1_armel.deb
2020-08-20 00:11
6.1M
libghc-sbv-dev_8.7-1_mips64el.deb
2020-08-21 06:44
8.2M
libghc-sbv-prof_8.7-1_mips64el.deb
2020-08-21 06:44
6.7M
haskell-sbv_8.17-1.debian.tar.xz
2022-07-29 20:32
2.8K
haskell-sbv_8.17-1.dsc
2022-07-29 20:32
2.5K
haskell-sbv_8.17.orig.tar.gz
2022-07-29 20:32
929K
libghc-sbv-doc_8.17-1_all.deb
2022-07-30 21:34
1.7M
libghc-sbv-dev_8.17-1+b3_amd64.deb
2022-10-22 18:27
6.5M
libghc-sbv-prof_8.17-1+b3_amd64.deb
2022-10-22 18:27
5.6M
libghc-sbv-dev_8.17-1+b3_arm64.deb
2022-10-22 20:45
9.6M
libghc-sbv-prof_8.17-1+b3_arm64.deb
2022-10-22 20:45
8.5M
libghc-sbv-dev_8.17-1+b3_armhf.deb
2022-10-22 22:42
9.0M
libghc-sbv-prof_8.17-1+b3_armhf.deb
2022-10-22 22:42
7.8M
libghc-sbv-dev_8.17-1+b3_i386.deb
2022-10-22 22:57
10M
libghc-sbv-prof_8.17-1+b3_i386.deb
2022-10-22 22:57
8.2M
libghc-sbv-dev_8.17-1+b3_armel.deb
2022-10-22 23:13
9.1M
libghc-sbv-prof_8.17-1+b3_armel.deb
2022-10-22 23:13
8.0M
libghc-sbv-dev_8.17-1+b3_s390x.deb
2022-10-24 14:37
12M
libghc-sbv-prof_8.17-1+b3_s390x.deb
2022-10-24 14:37
9.0M
libghc-sbv-dev_8.17-1+b3_ppc64el.deb
2022-10-24 15:58
9.7M
libghc-sbv-prof_8.17-1+b3_ppc64el.deb
2022-10-24 15:58
7.6M
libghc-sbv-dev_8.17-1+b3_mipsel.deb
2022-10-27 20:44
8.9M
libghc-sbv-prof_8.17-1+b3_mipsel.deb
2022-10-27 20:44
7.3M
libghc-sbv-dev_8.17-1+b3_mips64el.deb
2022-10-28 00:27
9.3M
libghc-sbv-prof_8.17-1+b3_mips64el.deb
2022-10-28 00:27
7.5M
haskell-sbv_10.2.orig.tar.gz
2023-10-06 12:38
1.0M
haskell-sbv_10.2-2.debian.tar.xz
2024-10-05 21:58
2.8K
haskell-sbv_10.2-2.dsc
2024-10-05 21:58
2.5K
libghc-sbv-dev_10.2-2_amd64.deb
2024-10-05 23:21
6.4M
libghc-sbv-prof_10.2-2_amd64.deb
2024-10-05 23:21
5.7M
libghc-sbv-doc_10.2-2_all.deb
2024-10-05 23:22
1.9M
libghc-sbv-dev_10.2-2_ppc64el.deb
2024-10-05 23:27
9.0M
libghc-sbv-prof_10.2-2_ppc64el.deb
2024-10-05 23:27
7.8M
libghc-sbv-dev_10.2-2_arm64.deb
2024-10-05 23:52
7.0M
libghc-sbv-prof_10.2-2_arm64.deb
2024-10-05 23:52
6.7M
libghc-sbv-dev_10.2-2_s390x.deb
2024-10-06 00:40
12M
libghc-sbv-prof_10.2-2_s390x.deb
2024-10-06 00:40
8.9M
libghc-sbv-dev_10.2-2_riscv64.deb
2024-10-06 17:14
13M
libghc-sbv-prof_10.2-2_riscv64.deb
2024-10-06 17:14
13M
libghc-sbv-dev_10.2-2+b1_mips64el.deb
2024-10-17 01:02
9.4M
libghc-sbv-prof_10.2-2+b1_mips64el.deb
2024-10-17 01:02
7.8M
libghc-sbv-dev_10.2-2+b1_i386.deb
2024-10-17 01:17
10M
libghc-sbv-prof_10.2-2+b1_i386.deb
2024-10-17 01:17
8.3M
libghc-sbv-dev_10.2-2+b1_armel.deb
2024-10-17 01:27
9.1M
libghc-sbv-prof_10.2-2+b1_armel.deb
2024-10-17 01:27
7.8M
libghc-sbv-dev_10.2-2+b1_armhf.deb
2024-10-17 02:23
8.9M
libghc-sbv-prof_10.2-2+b1_armhf.deb
2024-10-17 02:23
7.7M
Apache/2.4.62 (Debian) Server at ftp.linux.edu.lv Port 443