Index of /debian/pool/main/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
haskell-sbv_7.12-2.debian.tar.xz
2018-10-01 21:32
2.7K
haskell-sbv_7.12-2.dsc
2018-10-01 21:32
2.7K
haskell-sbv_7.12.orig.tar.gz
2018-09-30 12:59
651K
haskell-sbv_8.7-1.debian.tar.xz
2020-08-17 16:46
2.7K
haskell-sbv_8.7-1.dsc
2020-08-17 16:46
2.6K
haskell-sbv_8.7.orig.tar.gz
2020-08-17 16:46
853K
haskell-sbv_8.17-1.debian.tar.xz
2022-07-29 19:32
2.8K
haskell-sbv_8.17-1.dsc
2022-07-29 19:32
2.5K
haskell-sbv_8.17.orig.tar.gz
2022-07-29 19:32
929K
haskell-sbv_10.2-2.debian.tar.xz
2024-10-05 20:58
2.8K
haskell-sbv_10.2-2.dsc
2024-10-05 20:58
2.5K
haskell-sbv_10.2.orig.tar.gz
2023-10-06 11:38
1.0M
libghc-sbv-dev_7.12-2+b2_amd64.deb
2019-03-08 10:25
3.8M
libghc-sbv-dev_7.12-2+b2_arm64.deb
2019-03-08 10:55
4.5M
libghc-sbv-dev_7.12-2+b2_armhf.deb
2019-03-08 11:25
4.1M
libghc-sbv-dev_7.12-2+b2_i386.deb
2019-03-08 10:10
3.7M
libghc-sbv-dev_8.7-1+b1_amd64.deb
2020-08-19 19:55
5.7M
libghc-sbv-dev_8.7-1+b1_arm64.deb
2020-08-19 20:41
8.0M
libghc-sbv-dev_8.7-1+b1_armhf.deb
2020-08-19 21:28
7.6M
libghc-sbv-dev_8.7-1+b1_i386.deb
2020-08-19 21:12
5.6M
libghc-sbv-dev_8.17-1+b3_amd64.deb
2022-10-22 17:27
6.5M
libghc-sbv-dev_8.17-1+b3_arm64.deb
2022-10-22 19:45
9.6M
libghc-sbv-dev_8.17-1+b3_armhf.deb
2022-10-22 21:42
9.0M
libghc-sbv-dev_8.17-1+b3_i386.deb
2022-10-22 21:57
10M
libghc-sbv-dev_10.2-2+b1_armhf.deb
2024-10-17 01:23
8.9M
libghc-sbv-dev_10.2-2+b1_i386.deb
2024-10-17 00:17
10M
libghc-sbv-dev_10.2-2_amd64.deb
2024-10-05 22:21
6.4M
libghc-sbv-dev_10.2-2_arm64.deb
2024-10-05 22:52
7.0M
libghc-sbv-doc_7.12-2_all.deb
2018-10-16 18:56
962K
libghc-sbv-doc_8.7-1_all.deb
2020-08-17 17:27
1.6M
libghc-sbv-doc_8.17-1_all.deb
2022-07-30 20:34
1.7M
libghc-sbv-doc_10.2-2_all.deb
2024-10-05 22:22
1.9M
libghc-sbv-prof_7.12-2+b2_amd64.deb
2019-03-08 10:25
3.2M
libghc-sbv-prof_7.12-2+b2_arm64.deb
2019-03-08 10:55
3.6M
libghc-sbv-prof_7.12-2+b2_armhf.deb
2019-03-08 11:25
3.4M
libghc-sbv-prof_7.12-2+b2_i386.deb
2019-03-08 10:10
3.2M
libghc-sbv-prof_8.7-1+b1_amd64.deb
2020-08-19 19:55
5.0M
libghc-sbv-prof_8.7-1+b1_arm64.deb
2020-08-19 20:41
6.1M
libghc-sbv-prof_8.7-1+b1_armhf.deb
2020-08-19 21:28
6.0M
libghc-sbv-prof_8.7-1+b1_i386.deb
2020-08-19 21:12
5.0M
libghc-sbv-prof_8.17-1+b3_amd64.deb
2022-10-22 17:27
5.6M
libghc-sbv-prof_8.17-1+b3_arm64.deb
2022-10-22 19:45
8.5M
libghc-sbv-prof_8.17-1+b3_armhf.deb
2022-10-22 21:42
7.8M
libghc-sbv-prof_8.17-1+b3_i386.deb
2022-10-22 21:57
8.2M
libghc-sbv-prof_10.2-2+b1_armhf.deb
2024-10-17 01:23
7.7M
libghc-sbv-prof_10.2-2+b1_i386.deb
2024-10-17 00:17
8.3M
libghc-sbv-prof_10.2-2_amd64.deb
2024-10-05 22:21
5.7M
libghc-sbv-prof_10.2-2_arm64.deb
2024-10-05 22:52
6.7M
Apache/2.4.62 (Debian) Server at carid.ruc.dk Port 80