Newer dependencies for expressions-z3

The following are the packages which have restrictive upper bounds. You can also view this information as a news feed so you can get automatic updates in your feed reader of choice.

expressions-z3-0.5

base 4.19.1.0
containers 0.7
singletons 3.0.2
transformers 0.6.1.1
z3 408.2

View outdated dependency for all ancestor packages too.

Packages checked

expressions-z3