minisat-solver
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1 | 2016-10-24 19:15 UTC | PeterSelinger | +4409/−0 lines, 23 filesdep +basedep +containersdep +easyrendersetup-changedbinary-added |
Dependencies of minisat-solver-0.1
base >=4.6 && <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
easyrender >=0 0.1.1.3 → 0.1.1.4
| 2018-11-25 17:02 UTC | 0.1.1.4 | +27/−20 lines, 6 filessetup-changed |
| 2017-12-05 01:29 UTC | 0.1.1.3 | +13/−5 lines, 2 filesdep −superdoc |
| 2016-07-27 14:37 UTC | 0.1.1.2 | +6/−2 lines, 2 filesdep ~basedep ~bytestring |
| 2016-07-11 23:11 UTC | 0.1.1.1 | +6/−3 lines, 2 filesdep ~base |
| 2015-08-15 13:19 UTC | 0.1.1.0 | +35/−9 lines, 4 filesdep ~basedep ~bytestringdep ~containers |
showing 5 of 7 versions
transformers >=0 0.6.2.0 → 0.6.3.0
| 2026-01-12 12:42 UTC | 0.6.3.0 | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 | +64/−4 lines, 8 files |
showing 5 of 42 versions
Reverse dependencies
1 packages depend on minisat-solver