packages feed

expressions-z3

view on Hackage

versionuploadeduploaderchanges
0.52019-04-30 21:47 UTCjakubdaniel+2/−2 lines, 1 filesdep ~expressions
0.42018-10-05 09:41 UTCjakubdaniel+17/−13 lines, 3 filesdep ~expressions
0.32018-10-03 07:58 UTCjakubdaniel+9/−5 lines, 3 filesdep ~basedep ~expressionsdep ~singletons
0.22018-09-16 19:19 UTCjakubdaniel+6/−2 lines, 2 filesdep ~expressions
0.1.62018-06-21 20:01 UTCjakubdaniel+23/−19 lines, 3 filesdep ~containersdep ~expressions
0.1.52018-05-17 21:57 UTCjakubdaniel+160/−48 lines, 4 files
0.1.42018-05-15 21:38 UTCjakubdaniel+9/−4 lines, 3 filesdep +list-tdep ~z3
0.1.32018-03-05 22:41 UTCjakubdaniel+119/−3 lines, 3 filesdep +expressions-z3dep ~basedep ~containersdep ~expressions
0.1.22018-02-10 18:46 UTCjakubdaniel+8/−6 lines, 3 filesdep ~basedep ~containersdep ~singletonssetup-changed
0.1.12017-10-25 18:17 UTCjakubdaniel+6/−2 lines, 2 filesdep ~transformers
0.1.02017-09-17 19:24 UTCjakubdaniel+478/−0 lines, 5 filesdep +basedep +containersdep +expressionssetup-changed

Dependencies of expressions-z3-0.5

base >=4.9 && <4.13 4.12.0.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 newer than bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 newer than bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 newer than bounds+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0 newer than bounds+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

containers >=0.5 && <0.7 0.6.8 → 0.8 newer than bounds
2025-03-01 13:03 UTC0.8 newer than bounds+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7 newer than bounds+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

expressions >=0.5 && <0.6 0.4.2 → 0.5
2019-04-30 21:25 UTC0.5+41/−38 lines, 4 filesdep ~lattices
2018-10-05 14:27 UTC0.4.2 outside bounds+35/−88 lines, 5 files
2018-10-05 10:52 UTC0.4.1 outside bounds+21/−14 lines, 4 files
2018-10-05 09:40 UTC0.4 outside bounds+128/−30 lines, 9 files
2018-10-04 22:56 UTC0.3.1 outside bounds+15/−2 lines, 4 files

showing 5 of 16 versions

list-t >=1.0 && <1.1 1.0.5.6 → 1.0.5.7
2023-10-11 16:26 UTC1.0.5.7+76/−58 lines, 4 filesdep ~foldl
2023-01-09 17:23 UTC1.0.5.6+14/−6 lines, 2 files
2023-01-08 19:34 UTC1.0.5.5+13/−6 lines, 2 files
2023-01-08 19:16 UTC1.0.5.4+224/−187 lines, 4 filesdep ~HTFdep ~transformers-base
2022-07-11 22:40 UTC1.0.5.3+3/−3 lines, 1 filesdep ~HTFdep ~transformers

showing 5 of 36 versions

singletons >=2.2 && <2.6 2.5.1 → 3.0.4 newer than bounds
2024-12-11 12:49 UTC3.0.4 newer than bounds+115/−25 lines, 6 filesdep ~base
2024-05-12 23:03 UTC3.0.3 newer than bounds+94/−7 lines, 4 filesdep ~base
2022-08-23 12:10 UTC3.0.2 newer than bounds+34/−16 lines, 5 filesdep ~base
2021-10-31 01:46 UTC3.0.1 newer than bounds+206/−9 lines, 4 filesdep ~base
2021-03-12 17:18 UTC3.0 newer than bounds+1556/−42164 lines, 303 filesdep −bytestringdep −containersdep −deepseqdep ~basesetup-changed

showing 5 of 36 versions

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

showing 5 of 42 versions

z3 >=4.1.2 && <4.4 4.3.1 → 408.2 newer than bounds
2020-08-29 20:10 UTC408.2 newer than bounds+1004/−15 lines, 6 files
2020-01-16 00:01 UTC408.1 newer than bounds+99/−34 lines, 7 filesdep +semigroups
2019-03-31 20:33 UTC408.0 newer than bounds+117/−312 lines, 13 filesdep +transformersdep −mtl
2018-05-13 15:14 UTC4.3.1+50/−3 lines, 4 files
2018-04-29 10:43 UTC4.3+472/−29 lines, 7 filesdep ~z3

showing 5 of 15 versions

Reverse dependencies

1 packages depend on expressions-z3

acme-everything 2018.11.18 requires expressions-z3 >=0