boolector
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.0.0.13 | 2020-08-20 17:53 UTC | DeianStefan | +5/−22 lines, 2 filessetup-changed | |
| 0.0.0.12 | 2020-08-18 19:57 UTC | DeianStefan | +22/−5 lines, 2 filesbuild-type:Customsetup-changed | |
| 0.0.0.11 | 2020-02-08 20:55 UTC | DeianStefan | +33/−13 lines, 2 filesPVP ok | |
| 0.0.0.10 | 2020-01-12 03:44 UTC | DeianStefan | +95/−92 lines, 2 filesPVP: major bump suggested | |
| 0.0.0.9 | 2019-09-27 03:00 UTC | DeianStefan | +6/−3 lines, 2 filesdep +failPVP: major bump suggested | |
| 0.0.0.8 | 2018-12-21 08:29 UTC | DeianStefan | +110/−19 lines, 6 filesdep +timePVP: major bump suggested | |
| 0.0.0.7 | 2018-09-15 22:54 UTC | DeianStefan | +8/−1 lines, 2 filesPVP: minor bump suggested | |
| 0.0.0.6 | 2018-09-15 21:17 UTC | DeianStefan | +52/−13 lines, 2 filesPVP: minor bump suggested | |
| 0.0.0.5 | 2018-09-06 22:49 UTC | DeianStefan | +74/−3 lines, 5 filesPVP ok | |
| 0.0.0.4 | 2018-08-09 23:15 UTC | DeianStefan | +414/−147 lines, 5 filesPVP: major bump suggested | |
| 0.0.0.3 | 2018-07-07 03:43 UTC | DeianStefan | +80/−33 lines, 7 filesdep +directorydep +temporaryPVP: major bump suggested | |
| 0.0.0.2 | 2018-07-03 06:20 UTC | DeianStefan | +264/−27 lines, 5 filesPVP: major bump suggested | |
| 0.0.0.1 | 2018-06-19 04:46 UTC | DeianStefan | +2153/−0 lines, 9 filesdep +basedep +boolectordep +containerssetup-changed |
Dependencies of boolector-0.0.0.13
base >=4.7 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
directory >=0 1.3.10.1 → 1.3.11.0
| 2026-05-27 05:59 UTC | 1.3.11.0 | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
fail ==4.9.0.0 (empty) → 4.9.0.0
| 2016-01-21 15:11 UTC | 4.9.0.0 | +144/−0 lines, 4 filesdep +basesetup-changed |
mtl >=0 2.3.1 → 2.3.2
| 2025-12-08 04:58 UTC | 2.3.2 | +112/−21 lines, 12 filesdep ~basenew-uploader |
| 2022-10-31 21:28 UTC | 2.3.1 | +188/−33 lines, 8 filesdep ~base |
| 2022-05-07 20:34 UTC | 2.3 | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~base |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
temporary >=0 1.2.1.1 → 1.3
| 2018-04-10 14:21 UTC | 1.3 | +41/−15 lines, 3 filesdep +random |
| 2017-07-26 11:50 UTC | 1.2.1.1 | +49/−41 lines, 3 files |
| 2017-06-11 17:08 UTC | 1.2.1 | +294/−300 lines, 7 filesdep +base-compatdep +tastydep +tasty-hunitdep ~basedep ~directorydep ~filepath |
| 2016-01-24 22:42 UTC | 1.2.0.4 | +8/−4 lines, 2 filesnew-uploader |
| 2014-05-11 12:22 UTC | 1.2.0.3 | +6/−6 lines, 2 filesdep ~exceptions |
showing 5 of 17 versions
time >=0 1.15 → 1.16
| 2026-05-03 08:43 UTC | 1.16 | +353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell |
| 2025-08-04 16:22 UTC | 1.15 | +1407/−743 lines, 56 filesdep ~basedep ~deepseqdep ~template-haskell |
| 2024-03-10 22:18 UTC | 1.14 | +6594/−5536 lines, 73 filesdep +template-haskelldep ~base |
| 2021-10-18 05:36 UTC | 1.13 | +1279/−1589 lines, 59 filesdep ~base |
| 2022-05-14 00:07 UTC | 1.12.2 | +1526/−1266 lines, 57 filesdep ~base |
showing 5 of 47 versions
Reverse dependencies
1 packages depend on boolector