Index of /ubuntu/ubuntu/pool/universe/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
libghc-sbv-prof_8.17-1build1_amd64.deb
11-Dec-2022 06:49
6.3M
libghc-sbv-prof_8.7-1build3_amd64.deb
31-Oct-2020 11:33
4.9M
libghc-sbv-prof_7.13-1build1_amd64.deb
25-Aug-2019 17:33
3.2M
libghc-sbv-prof_5.14-1build3_i386.deb
04-Nov-2017 03:00
2.2M
libghc-sbv-prof_5.14-1build3_amd64.deb
04-Nov-2017 02:59
2.2M
libghc-sbv-prof_5.9-1build1_i386.deb
13-Jan-2016 08:50
1.9M
libghc-sbv-prof_5.9-1build1_amd64.deb
13-Jan-2016 08:49
1.9M
libghc-sbv-doc_8.17-1build1_all.deb
11-Dec-2022 06:49
1.5M
libghc-sbv-doc_8.7-1build3_all.deb
31-Oct-2020 11:33
1.5M
libghc-sbv-doc_7.13-1build1_all.deb
25-Aug-2019 17:33
969K
libghc-sbv-doc_5.14-1build3_all.deb
04-Nov-2017 02:59
521K
libghc-sbv-doc_5.9-1build1_all.deb
13-Jan-2016 08:49
465K
libghc-sbv-dev_8.17-1build1_amd64.deb
11-Dec-2022 06:49
6.9M
libghc-sbv-dev_8.7-1build3_amd64.deb
31-Oct-2020 11:33
5.7M
libghc-sbv-dev_7.13-1build1_amd64.deb
25-Aug-2019 17:33
3.8M
libghc-sbv-dev_5.14-1build3_i386.deb
04-Nov-2017 03:00
2.6M
libghc-sbv-dev_5.14-1build3_amd64.deb
04-Nov-2017 02:59
2.7M
libghc-sbv-dev_5.9-1build1_i386.deb
13-Jan-2016 08:50
2.4M
libghc-sbv-dev_5.9-1build1_amd64.deb
13-Jan-2016 08:49
2.4M
haskell-sbv_8.17.orig.tar.gz
29-Jul-2022 21:24
929K
haskell-sbv_8.17-1build1.dsc
11-Dec-2022 06:05
2.5K
haskell-sbv_8.17-1build1.debian.tar.xz
11-Dec-2022 06:05
2.9K
haskell-sbv_8.7.orig.tar.gz
17-Aug-2020 21:18
853K
haskell-sbv_8.7-1build3.dsc
29-Oct-2020 18:29
2.7K
haskell-sbv_8.7-1build3.debian.tar.xz
29-Oct-2020 18:29
2.9K
haskell-sbv_7.13.orig.tar.gz
28-Jul-2019 09:13
671K
haskell-sbv_7.13-1build1.dsc
08-Aug-2019 09:48
2.6K
haskell-sbv_7.13-1build1.debian.tar.xz
08-Aug-2019 09:48
2.8K
haskell-sbv_5.14.orig.tar.gz
07-Jul-2017 09:08
515K
haskell-sbv_5.14-1build3.dsc
04-Nov-2017 02:59
2.8K
haskell-sbv_5.14-1build3.debian.tar.xz
04-Nov-2017 02:59
2.6K
haskell-sbv_5.9.orig.tar.gz
11-Jan-2016 08:14
513K
haskell-sbv_5.9-1build1.dsc
13-Jan-2016 08:19
2.8K
haskell-sbv_5.9-1build1.debian.tar.xz
13-Jan-2016 08:19
2.3K
Apache/2.2.15 (Scientific Linux) Server at gl.archive.ubuntu.com Port 80