satplus
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.0.0 | 2026-05-19 12:35 UTC | KoenClaessen | +2394/−0 lines, 15 filesdep +basedep +minisatsetup-changed |
Dependencies of satplus-0.1.0.0
base >=4 && <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
minisat >=0.1 0.1.3 → 0.1.4
| 2025-07-12 18:11 UTC | 0.1.4 | +5493/−5474 lines, 28 filesdep +system-cxx-std-lib |
| 2021-02-23 19:34 UTC | 0.1.3 | +5474/−5475 lines, 29 filessetup-changed |
| 2015-07-03 10:15 UTC | 0.1.2 | +72/−42 lines, 4 filesdep −zlib |
| 2015-01-21 13:05 UTC | 0.1.1 | +2/−2 lines, 1 files |
| 2014-06-20 08:43 UTC | 0.1 | +5445/−0 lines, 28 filesdep +asyncdep +basedep +zlibsetup-changed |
Reverse dependencies
no known reverse dependencies