packages feed

z3

view on Hackage

versionuploadeduploaderchanges
408.22020-08-29 20:10 UTCIagoAbal+1004/−15 lines, 6 files
408.12020-01-16 00:01 UTCIagoAbal+99/−34 lines, 7 filesdep +semigroups
408.02019-03-31 20:33 UTCIagoAbal+117/−312 lines, 13 filesdep +transformersdep −mtl
4.3.12018-05-13 15:14 UTCIagoAbal+50/−3 lines, 4 files
4.32018-04-29 10:43 UTCIagoAbal1 revisions+472/−29 lines, 7 filesdep ~z3
4.2.02018-02-17 21:50 UTCIagoAbal+6/−7 lines, 4 files
4.1.22017-09-17 18:56 UTCIagoAbal+551/−20 lines, 8 files
4.1.12017-08-07 22:08 UTCIagoAbal+1353/−264 lines, 15 filesdep ~z3
4.1.02015-07-18 21:30 UTCIagoAbal+338/−61 lines, 8 filesdep ~z3
4.0.02015-04-11 13:24 UTCIagoAbal+5781/−5713 lines, 23 filesdep +QuickCheckdep +hspecdep +z3dep ~basedep ~mtlnew-component:exe:examples
0.3.22014-03-21 21:26 UTCIagoAbal+2361/−2449 lines, 11 files
0.3.12013-06-25 16:30 UTCIagoAbal+1200/−238 lines, 7 files
0.3.02013-03-25 00:13 UTCIagoAbal+3376/−1459 lines, 14 filesdep ~mtl
0.2.02012-12-18 11:14 UTCIagoAbal+1796/−900 lines, 16 files
0.1.12012-07-24 23:35 UTCIagoAbal+2106/−0 lines, 9 filesdep +basedep +containersdep +mtlsetup-changed

Dependencies of z3-408.2

QuickCheck >=2.5.1 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

base >=4.5 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.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 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

hspec >=2.1 2.11.16 → 2.11.17
2026-03-04 18:01 UTC2.11.17+11/−19 lines, 6 filesdep ~hspec-coredep ~hspec-discoverPVP ok
2025-12-12 14:07 UTC2.11.16+25/−7 lines, 5 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested
2025-12-08 03:04 UTC2.11.15+8/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discoverPVP ok
2025-09-30 14:32 UTC2.11.14+9/−7 lines, 4 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested
2025-09-15 13:10 UTC2.11.13+12/−5 lines, 3 filesdep ~hspec-coredep ~hspec-discoverPVP: major bump suggested

showing 5 of 170 versions

semigroups >=0.5 0.20 → 0.20.1
2026-01-10 20:32 UTC0.20.1+29/−2103 lines, 6 filesdep −binarydep −bytestringdep −bytestring-builderdep ~base
2021-11-16 00:07 UTC0.20+9/−27 lines, 3 filesdep ~hashable
2021-08-30 11:23 UTC0.19.2+45/−203 lines, 6 filesdep ~hashable
2019-08-27 13:06 UTC0.19.1+100/−60 lines, 5 filesdep ~hashabledep ~transformers
2019-05-10 13:57 UTC0.19+217/−167 lines, 5 filesdep +template-haskelldep ~hashable

showing 5 of 65 versions

transformers >=0.2 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

5 packages depend on z3; 2 have bounds that exclude 408.2

expressions-z3 0.5 requires z3 >=4.1.2 && <4.4 excludes current (upper bound)
ez3 0.1.0.0 requires z3 >=4.3 && <4.4 excludes current (upper bound)
ntha 0.1.3 requires z3 >=4.1.0
Quelea 1.0.0 requires z3 >=4.0.0
z3-encoding 0.3.0.0 requires z3 >=4.1.0