z3-encoding
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.3.0.0 | 2016-07-05 00:02 UTC | izgzhen | +595/−536 lines, 13 files | |
| 0.2.1.1 | 2016-07-01 07:19 UTC | izgzhen | +706/−0 lines, 11 filesdep +basedep +containersdep +hspecsetup-changed |
Dependencies of z3-encoding-0.3.0.0
base >=4.9 && <4.10 4.9.1.0 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0.5 && <0.6 0.5.11.0 → 0.8 newer than bounds
| 2025-03-01 13:03 UTC | 0.8 newer than bounds | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 newer than bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 newer than bounds | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 newer than bounds | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 newer than bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
hspec >=1.3 2.11.16 → 2.11.17
| 2026-03-04 18:01 UTC | 2.11.17 | +11/−19 lines, 6 filesdep ~hspec-coredep ~hspec-discoverPVP ok |
| 2025-12-12 14:07 UTC | 2.11.16 | +25/−7 lines, 5 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested |
| 2025-12-08 03:04 UTC | 2.11.15 | +8/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discoverPVP ok |
| 2025-09-30 14:32 UTC | 2.11.14 | +9/−7 lines, 4 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested |
| 2025-09-15 13:10 UTC | 2.11.13 | +12/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested |
showing 5 of 170 versions
mtl >=2.2 && <2.3 2.2.2 → 2.3.2 newer than bounds
| 2025-12-08 04:58 UTC | 2.3.2 newer than bounds | +112/−21 lines, 12 filesdep ~basenew-uploaderPVP: major bump suggested |
| 2022-10-31 21:28 UTC | 2.3.1 newer than bounds | +188/−33 lines, 8 filesdep ~basePVP: major bump suggested |
| 2022-05-07 20:34 UTC | 2.3 newer than bounds | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploaderPVP ok |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~basePVP: major bump suggested |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformersPVP: major bump suggested |
showing 5 of 20 versions
z3 >=4.1.0 408.1 → 408.2
| 2020-08-29 20:10 UTC | 408.2 | +1004/−15 lines, 6 files |
| 2020-01-16 00:01 UTC | 408.1 | +99/−34 lines, 7 filesdep +semigroups |
| 2019-03-31 20:33 UTC | 408.0 | +117/−312 lines, 13 filesdep +transformersdep −mtl |
| 2018-05-13 15:14 UTC | 4.3.1 | +50/−3 lines, 4 files |
| 2018-04-29 10:43 UTC | 4.3 | +472/−29 lines, 7 filesdep ~z3 |
showing 5 of 15 versions
Reverse dependencies
1 packages depend on z3-encoding