Index of /packages/linux-ubuntu/pool/universe/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
haskell-sbv_5.9-1build1.debian.tar.xz
2016-01-13 12:19
2.3K
haskell-sbv_5.9-1build1.dsc
2016-01-13 12:19
2.8K
haskell-sbv_5.9.orig.tar.gz
2016-01-11 12:14
513K
haskell-sbv_5.14-1build3.debian.tar.xz
2017-11-04 06:59
2.6K
haskell-sbv_5.14-1build3.dsc
2017-11-04 06:59
2.8K
haskell-sbv_5.14.orig.tar.gz
2017-07-07 13:08
515K
haskell-sbv_7.13-1build1.debian.tar.xz
2019-08-08 13:48
2.8K
haskell-sbv_7.13-1build1.dsc
2019-08-08 13:48
2.6K
haskell-sbv_7.13.orig.tar.gz
2019-07-28 13:13
671K
haskell-sbv_8.7-1build3.debian.tar.xz
2020-10-29 22:29
2.9K
haskell-sbv_8.7-1build3.dsc
2020-10-29 22:29
2.7K
haskell-sbv_8.7.orig.tar.gz
2020-08-18 01:18
853K
haskell-sbv_8.17-1build1.debian.tar.xz
2022-12-11 10:05
2.9K
haskell-sbv_8.17-1build1.dsc
2022-12-11 10:05
2.5K
haskell-sbv_8.17.orig.tar.gz
2022-07-30 01:24
929K
haskell-sbv_10.2-1.debian.tar.xz
2023-11-08 10:37
2.8K
haskell-sbv_10.2-1.dsc
2023-11-08 10:37
2.5K
haskell-sbv_10.2-1build1.debian.tar.xz
2024-05-15 12:09
2.9K
haskell-sbv_10.2-1build1.dsc
2024-05-15 12:09
2.5K
haskell-sbv_10.2-2.debian.tar.xz
2024-10-24 22:19
2.8K
haskell-sbv_10.2-2.dsc
2024-10-24 22:19
2.5K
haskell-sbv_10.2.orig.tar.gz
2023-11-08 10:37
1.0M
libghc-sbv-dev_5.9-1build1_amd64.deb
2016-01-13 12:49
2.4M
libghc-sbv-dev_5.9-1build1_i386.deb
2016-01-13 12:50
2.4M
libghc-sbv-dev_5.14-1build3_amd64.deb
2017-11-04 06:59
2.7M
libghc-sbv-dev_5.14-1build3_i386.deb
2017-11-04 07:00
2.6M
libghc-sbv-dev_7.13-1build1_amd64.deb
2019-08-25 21:33
3.8M
libghc-sbv-dev_8.7-1build3_amd64.deb
2020-10-31 15:33
5.7M
libghc-sbv-dev_8.17-1build1_amd64.deb
2022-12-11 10:49
6.9M
libghc-sbv-dev_10.2-1_amd64.deb
2023-11-10 12:50
7.2M
libghc-sbv-dev_10.2-1build1_amd64.deb
2024-05-15 16:02
7.2M
libghc-sbv-dev_10.2-2_amd64.deb
2024-10-24 22:19
6.8M
libghc-sbv-doc_5.9-1build1_all.deb
2016-01-13 12:49
465K
libghc-sbv-doc_5.14-1build3_all.deb
2017-11-04 06:59
521K
libghc-sbv-doc_7.13-1build1_all.deb
2019-08-25 21:33
969K
libghc-sbv-doc_8.7-1build3_all.deb
2020-10-31 15:33
1.5M
libghc-sbv-doc_8.17-1build1_all.deb
2022-12-11 10:49
1.5M
libghc-sbv-doc_10.2-1_all.deb
2023-11-10 12:50
1.7M
libghc-sbv-doc_10.2-1build1_all.deb
2024-05-15 16:02
1.7M
libghc-sbv-doc_10.2-2_all.deb
2024-10-24 22:19
1.7M
libghc-sbv-prof_5.9-1build1_amd64.deb
2016-01-13 12:49
1.9M
libghc-sbv-prof_5.9-1build1_i386.deb
2016-01-13 12:50
1.9M
libghc-sbv-prof_5.14-1build3_amd64.deb
2017-11-04 06:59
2.2M
libghc-sbv-prof_5.14-1build3_i386.deb
2017-11-04 07:00
2.2M
libghc-sbv-prof_7.13-1build1_amd64.deb
2019-08-25 21:33
3.2M
libghc-sbv-prof_8.7-1build3_amd64.deb
2020-10-31 15:33
4.9M
libghc-sbv-prof_8.17-1build1_amd64.deb
2022-12-11 10:49
6.3M
libghc-sbv-prof_10.2-1_amd64.deb
2023-11-10 12:50
6.5M
libghc-sbv-prof_10.2-1build1_amd64.deb
2024-05-15 16:02
6.5M
libghc-sbv-prof_10.2-2_amd64.deb
2024-10-24 22:19
6.3M
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443