Index of /ubuntu/ubuntu/pool/universe/h/haskell-sbv
Name
Last modified
Size
Description
Parent Directory
-
haskell-sbv_4.4-1.de..>
2015-12-17 07:24
2.2K
haskell-sbv_4.4-1.dsc
2015-12-17 07:24
2.7K
haskell-sbv_4.4.orig..>
2015-12-17 07:24
489K
haskell-sbv_5.7-1.de..>
2015-12-29 13:14
2.2K
haskell-sbv_5.7-1.dsc
2015-12-29 13:14
2.8K
haskell-sbv_5.7.orig..>
2015-12-29 13:14
510K
haskell-sbv_5.9-1.de..>
2016-01-11 19:14
2.2K
haskell-sbv_5.9-1.dsc
2016-01-11 19:14
2.8K
haskell-sbv_5.9-1bui..>
2016-01-13 19:19
2.3K
haskell-sbv_5.9-1bui..>
2016-01-13 19:19
2.8K
haskell-sbv_5.9.orig..>
2016-01-11 19:14
513K
haskell-sbv_5.11-1.d..>
2016-06-16 19:24
2.3K
haskell-sbv_5.11-1.dsc
2016-06-16 19:24
2.7K
haskell-sbv_5.11-1bu..>
2016-06-29 04:04
2.4K
haskell-sbv_5.11-1bu..>
2016-06-29 04:04
2.8K
haskell-sbv_5.11.ori..>
2016-06-16 19:24
514K
haskell-sbv_5.12-2.d..>
2016-11-13 23:43
2.4K
haskell-sbv_5.12-2.dsc
2016-11-13 23:43
2.9K
haskell-sbv_5.12-2bu..>
2016-11-15 18:43
2.5K
haskell-sbv_5.12-2bu..>
2016-11-15 18:43
2.7K
haskell-sbv_5.12-2bu..>
2016-12-19 10:13
2.5K
haskell-sbv_5.12-2bu..>
2016-12-19 10:13
2.7K
haskell-sbv_5.12-2bu..>
2017-01-26 15:18
2.5K
haskell-sbv_5.12-2bu..>
2017-01-26 15:18
2.4K
haskell-sbv_5.12-2bu..>
2017-06-22 01:24
2.6K
haskell-sbv_5.12-2bu..>
2017-06-22 01:24
2.7K
haskell-sbv_5.12.ori..>
2016-11-13 23:43
514K
haskell-sbv_5.14-1.d..>
2017-07-07 19:08
2.4K
haskell-sbv_5.14-1.dsc
2017-07-07 19:08
2.9K
haskell-sbv_5.14-1bu..>
2017-07-10 18:33
2.5K
haskell-sbv_5.14-1bu..>
2017-07-10 18:33
2.7K
haskell-sbv_5.14-1bu..>
2017-07-11 21:28
2.5K
haskell-sbv_5.14-1bu..>
2017-07-11 21:28
2.7K
haskell-sbv_5.14-1bu..>
2017-11-04 13:59
2.6K
haskell-sbv_5.14-1bu..>
2017-11-04 13:59
2.8K
haskell-sbv_5.14.ori..>
2017-07-07 19:08
515K
haskell-sbv_7.5-1.de..>
2018-05-19 21:53
2.6K
haskell-sbv_7.5-1.dsc
2018-05-19 21:53
2.8K
haskell-sbv_7.5-1bui..>
2018-06-26 14:48
2.6K
haskell-sbv_7.5-1bui..>
2018-06-26 14:48
2.7K
haskell-sbv_7.5-1bui..>
2018-07-04 15:53
2.7K
haskell-sbv_7.5-1bui..>
2018-07-04 15:53
2.7K
haskell-sbv_7.5-1bui..>
2018-07-04 23:24
2.7K
haskell-sbv_7.5-1bui..>
2018-07-04 23:24
2.7K
haskell-sbv_7.5-1bui..>
2018-07-24 12:48
2.7K
haskell-sbv_7.5-1bui..>
2018-07-24 12:48
2.7K
haskell-sbv_7.5.orig..>
2018-05-19 21:53
598K
haskell-sbv_7.12-2.d..>
2018-12-13 23:03
2.7K
haskell-sbv_7.12-2.dsc
2018-12-13 23:03
2.7K
haskell-sbv_7.12-2bu..>
2019-03-06 20:58
2.8K
haskell-sbv_7.12-2bu..>
2019-03-06 20:58
2.6K
haskell-sbv_7.12.ori..>
2018-12-13 23:03
651K
haskell-sbv_7.13-1.d..>
2019-07-28 19:13
2.7K
haskell-sbv_7.13-1.dsc
2019-07-28 19:13
2.6K
haskell-sbv_7.13-1bu..>
2019-08-08 19:48
2.8K
haskell-sbv_7.13-1bu..>
2019-08-08 19:48
2.6K
haskell-sbv_7.13.ori..>
2019-07-28 19:13
671K
haskell-sbv_8.6-1.de..>
2020-06-15 07:18
2.7K
haskell-sbv_8.6-1.dsc
2020-06-15 07:18
2.6K
haskell-sbv_8.6-1bui..>
2020-07-22 23:33
2.8K
haskell-sbv_8.6-1bui..>
2020-07-22 23:33
2.6K
haskell-sbv_8.6-1bui..>
2020-07-23 15:08
2.8K
haskell-sbv_8.6-1bui..>
2020-07-23 15:08
2.6K
haskell-sbv_8.6.orig..>
2020-06-15 07:18
829K
haskell-sbv_8.7-1.de..>
2020-08-18 07:18
2.7K
haskell-sbv_8.7-1.dsc
2020-08-18 07:18
2.6K
haskell-sbv_8.7-1bui..>
2020-08-19 17:48
2.8K
haskell-sbv_8.7-1bui..>
2020-08-19 17:48
2.6K
haskell-sbv_8.7-1bui..>
2020-08-29 06:04
2.9K
haskell-sbv_8.7-1bui..>
2020-08-29 06:04
2.7K
haskell-sbv_8.7-1bui..>
2020-10-30 05:29
2.9K
haskell-sbv_8.7-1bui..>
2020-10-30 05:29
2.7K
haskell-sbv_8.7.orig..>
2020-08-18 07:18
853K
haskell-sbv_8.17-1.d..>
2022-07-30 07:24
2.8K
haskell-sbv_8.17-1.dsc
2022-07-30 07:24
2.5K
haskell-sbv_8.17-1bu..>
2022-12-11 17:05
2.9K
haskell-sbv_8.17-1bu..>
2022-12-11 17:05
2.5K
haskell-sbv_8.17.ori..>
2022-07-30 07:24
929K
haskell-sbv_10.2-1.d..>
2023-11-08 17:37
2.8K
haskell-sbv_10.2-1.dsc
2023-11-08 17:37
2.5K
haskell-sbv_10.2-1bu..>
2024-05-15 18:09
2.9K
haskell-sbv_10.2-1bu..>
2024-05-15 18:09
2.5K
haskell-sbv_10.2.ori..>
2023-11-08 17:37
1.0M
libghc-sbv-dev_4.4-1..>
2015-12-17 20:15
2.1M
libghc-sbv-dev_4.4-1..>
2015-12-17 20:15
2.0M
libghc-sbv-dev_5.7-1..>
2015-12-29 13:29
2.4M
libghc-sbv-dev_5.7-1..>
2015-12-29 13:30
2.3M
libghc-sbv-dev_5.9-1..>
2016-01-11 20:36
2.4M
libghc-sbv-dev_5.9-1..>
2016-01-11 20:37
2.3M
libghc-sbv-dev_5.9-1..>
2016-01-13 19:49
2.4M
libghc-sbv-dev_5.9-1..>
2016-01-13 19:50
2.4M
libghc-sbv-dev_5.11-..>
2016-06-16 20:06
2.3M
libghc-sbv-dev_5.11-..>
2016-06-16 20:07
2.3M
libghc-sbv-dev_5.11-..>
2016-06-29 04:04
2.3M
libghc-sbv-dev_5.11-..>
2016-06-29 04:05
2.3M
libghc-sbv-dev_5.12-..>
2016-11-13 23:59
2.5M
libghc-sbv-dev_5.12-..>
2016-11-14 00:00
2.4M
libghc-sbv-dev_5.12-..>
2016-11-15 18:58
2.5M
libghc-sbv-dev_5.12-..>
2016-11-15 18:59
2.4M
libghc-sbv-dev_5.12-..>
2016-12-19 10:28
2.5M
libghc-sbv-dev_5.12-..>
2016-12-19 10:28
2.4M
libghc-sbv-dev_5.12-..>
2017-01-26 15:58
2.6M
libghc-sbv-dev_5.12-..>
2017-01-26 15:58
2.5M
libghc-sbv-dev_5.12-..>
2017-06-22 01:24
2.6M
libghc-sbv-dev_5.12-..>
2017-06-22 01:26
2.5M
libghc-sbv-dev_5.14-..>
2017-07-07 19:44
2.7M
libghc-sbv-dev_5.14-..>
2017-07-07 19:44
2.6M
libghc-sbv-dev_5.14-..>
2017-07-10 18:58
2.7M
libghc-sbv-dev_5.14-..>
2017-07-10 18:59
2.6M
libghc-sbv-dev_5.14-..>
2017-07-11 21:28
2.7M
libghc-sbv-dev_5.14-..>
2017-07-11 21:28
2.6M
libghc-sbv-dev_5.14-..>
2017-11-04 13:59
2.7M
libghc-sbv-dev_5.14-..>
2017-11-04 14:00
2.6M
libghc-sbv-dev_7.5-1..>
2018-05-19 22:25
3.5M
libghc-sbv-dev_7.5-1..>
2018-05-19 22:26
3.4M
libghc-sbv-dev_7.5-1..>
2018-06-26 15:03
3.5M
libghc-sbv-dev_7.5-1..>
2018-06-26 15:03
3.4M
libghc-sbv-dev_7.5-1..>
2018-07-04 16:03
3.5M
libghc-sbv-dev_7.5-1..>
2018-07-04 16:13
3.4M
libghc-sbv-dev_7.5-1..>
2018-07-04 23:33
3.5M
libghc-sbv-dev_7.5-1..>
2018-07-04 23:33
3.4M
libghc-sbv-dev_7.5-1..>
2018-07-24 13:03
3.5M
libghc-sbv-dev_7.5-1..>
2018-07-24 12:58
3.4M
libghc-sbv-dev_7.12-..>
2018-12-13 23:30
3.8M
libghc-sbv-dev_7.12-..>
2018-12-13 23:31
3.7M
libghc-sbv-dev_7.12-..>
2019-03-06 21:18
3.8M
libghc-sbv-dev_7.12-..>
2019-03-06 21:18
3.7M
libghc-sbv-dev_7.13-..>
2019-08-26 03:33
3.8M
libghc-sbv-dev_7.13-..>
2019-08-26 03:33
3.7M
libghc-sbv-dev_8.6-1..>
2020-06-18 20:44
5.6M
libghc-sbv-dev_8.6-1..>
2020-07-23 00:48
5.6M
libghc-sbv-dev_8.6-1..>
2020-07-23 15:29
5.6M
libghc-sbv-dev_8.7-1..>
2020-08-18 07:55
5.7M
libghc-sbv-dev_8.7-1..>
2020-08-19 18:03
5.7M
libghc-sbv-dev_8.7-1..>
2020-08-29 06:19
5.7M
libghc-sbv-dev_8.7-1..>
2020-10-31 22:33
5.7M
libghc-sbv-dev_8.17-..>
2022-08-25 16:24
6.9M
libghc-sbv-dev_8.17-..>
2022-12-11 17:49
6.9M
libghc-sbv-dev_10.2-..>
2023-11-10 19:50
7.2M
libghc-sbv-dev_10.2-..>
2024-05-15 22:02
7.2M
libghc-sbv-doc_4.4-1..>
2015-12-17 20:15
450K
libghc-sbv-doc_5.7-1..>
2015-12-29 13:29
463K
libghc-sbv-doc_5.9-1..>
2016-01-11 20:36
469K
libghc-sbv-doc_5.9-1..>
2016-01-13 19:49
465K
libghc-sbv-doc_5.11-..>
2016-06-16 20:06
463K
libghc-sbv-doc_5.11-..>
2016-06-29 04:04
464K
libghc-sbv-doc_5.12-..>
2016-11-13 23:59
504K
libghc-sbv-doc_5.12-..>
2016-11-15 18:58
504K
libghc-sbv-doc_5.12-..>
2016-12-19 10:28
504K
libghc-sbv-doc_5.12-..>
2017-01-26 15:58
504K
libghc-sbv-doc_5.12-..>
2017-06-22 01:24
504K
libghc-sbv-doc_5.14-..>
2017-07-07 19:44
521K
libghc-sbv-doc_5.14-..>
2017-07-10 18:58
521K
libghc-sbv-doc_5.14-..>
2017-07-11 21:28
521K
libghc-sbv-doc_5.14-..>
2017-11-04 13:59
521K
libghc-sbv-doc_7.5-1..>
2018-05-19 22:25
594K
libghc-sbv-doc_7.5-1..>
2018-06-26 15:03
594K
libghc-sbv-doc_7.5-1..>
2018-07-04 16:03
594K
libghc-sbv-doc_7.5-1..>
2018-07-04 23:33
594K
libghc-sbv-doc_7.5-1..>
2018-07-24 13:03
594K
libghc-sbv-doc_7.12-..>
2018-12-13 23:30
916K
libghc-sbv-doc_7.12-..>
2019-03-06 21:18
917K
libghc-sbv-doc_7.13-..>
2019-08-26 03:33
969K
libghc-sbv-doc_8.6-1..>
2020-06-18 20:43
1.5M
libghc-sbv-doc_8.6-1..>
2020-07-23 00:48
1.5M
libghc-sbv-doc_8.6-1..>
2020-07-23 15:29
1.5M
libghc-sbv-doc_8.7-1..>
2020-08-18 07:55
1.5M
libghc-sbv-doc_8.7-1..>
2020-08-19 18:03
1.5M
libghc-sbv-doc_8.7-1..>
2020-08-29 06:19
1.5M
libghc-sbv-doc_8.7-1..>
2020-10-31 22:33
1.5M
libghc-sbv-doc_8.17-..>
2022-08-25 16:24
1.5M
libghc-sbv-doc_8.17-..>
2022-12-11 17:49
1.5M
libghc-sbv-doc_10.2-..>
2023-11-10 19:50
1.7M
libghc-sbv-doc_10.2-..>
2024-05-15 22:02
1.7M
libghc-sbv-prof_4.4-..>
2015-12-17 20:15
1.7M
libghc-sbv-prof_4.4-..>
2015-12-17 20:15
1.7M
libghc-sbv-prof_5.7-..>
2015-12-29 13:29
1.8M
libghc-sbv-prof_5.7-..>
2015-12-29 13:30
1.8M
libghc-sbv-prof_5.9-..>
2016-01-11 20:36
1.8M
libghc-sbv-prof_5.9-..>
2016-01-11 20:37
1.9M
libghc-sbv-prof_5.9-..>
2016-01-13 19:49
1.9M
libghc-sbv-prof_5.9-..>
2016-01-13 19:50
1.9M
libghc-sbv-prof_5.11..>
2016-06-16 20:06
1.9M
libghc-sbv-prof_5.11..>
2016-06-16 20:07
1.9M
libghc-sbv-prof_5.11..>
2016-06-29 04:04
1.9M
libghc-sbv-prof_5.11..>
2016-06-29 04:05
1.9M
libghc-sbv-prof_5.12..>
2016-11-13 23:59
2.2M
libghc-sbv-prof_5.12..>
2016-11-14 00:00
2.1M
libghc-sbv-prof_5.12..>
2016-11-15 18:58
2.2M
libghc-sbv-prof_5.12..>
2016-11-15 18:59
2.2M
libghc-sbv-prof_5.12..>
2016-12-19 10:28
2.2M
libghc-sbv-prof_5.12..>
2016-12-19 10:28
2.1M
libghc-sbv-prof_5.12..>
2017-01-26 15:58
2.2M
libghc-sbv-prof_5.12..>
2017-01-26 15:58
2.1M
libghc-sbv-prof_5.12..>
2017-06-22 01:24
2.2M
libghc-sbv-prof_5.12..>
2017-06-22 01:26
2.1M
libghc-sbv-prof_5.14..>
2017-07-07 19:44
2.2M
libghc-sbv-prof_5.14..>
2017-07-07 19:44
2.2M
libghc-sbv-prof_5.14..>
2017-07-10 18:58
2.2M
libghc-sbv-prof_5.14..>
2017-07-10 18:59
2.2M
libghc-sbv-prof_5.14..>
2017-07-11 21:28
2.2M
libghc-sbv-prof_5.14..>
2017-07-11 21:28
2.2M
libghc-sbv-prof_5.14..>
2017-11-04 13:59
2.2M
libghc-sbv-prof_5.14..>
2017-11-04 14:00
2.2M
libghc-sbv-prof_7.5-..>
2018-05-19 22:25
2.8M
libghc-sbv-prof_7.5-..>
2018-05-19 22:26
2.8M
libghc-sbv-prof_7.5-..>
2018-06-26 15:03
2.8M
libghc-sbv-prof_7.5-..>
2018-06-26 15:03
2.8M
libghc-sbv-prof_7.5-..>
2018-07-04 16:03
2.8M
libghc-sbv-prof_7.5-..>
2018-07-04 16:13
2.8M
libghc-sbv-prof_7.5-..>
2018-07-04 23:33
2.8M
libghc-sbv-prof_7.5-..>
2018-07-04 23:33
2.8M
libghc-sbv-prof_7.5-..>
2018-07-24 13:03
2.8M
libghc-sbv-prof_7.5-..>
2018-07-24 12:58
2.8M
libghc-sbv-prof_7.12..>
2018-12-13 23:30
3.2M
libghc-sbv-prof_7.12..>
2018-12-13 23:31
3.2M
libghc-sbv-prof_7.12..>
2019-03-06 21:18
3.2M
libghc-sbv-prof_7.12..>
2019-03-06 21:18
3.2M
libghc-sbv-prof_7.13..>
2019-08-26 03:33
3.2M
libghc-sbv-prof_7.13..>
2019-08-26 03:33
3.2M
libghc-sbv-prof_8.6-..>
2020-06-18 20:43
4.9M
libghc-sbv-prof_8.6-..>
2020-07-23 00:48
4.9M
libghc-sbv-prof_8.6-..>
2020-07-23 15:29
4.9M
libghc-sbv-prof_8.7-..>
2020-08-18 07:55
4.9M
libghc-sbv-prof_8.7-..>
2020-08-19 18:03
4.9M
libghc-sbv-prof_8.7-..>
2020-08-29 06:19
4.9M
libghc-sbv-prof_8.7-..>
2020-10-31 22:33
4.9M
libghc-sbv-prof_8.17..>
2022-08-25 16:24
6.3M
libghc-sbv-prof_8.17..>
2022-12-11 17:49
6.3M
libghc-sbv-prof_10.2..>
2023-11-10 19:50
6.5M
libghc-sbv-prof_10.2..>
2024-05-15 22:02
6.5M