Newer dependencies for bindings-yices control-monad-exception control-monad-free failure

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.

All upper bounds are non-restrictive.

View outdated dependency for all ancestor packages too.

Packages checked

No packages checked