Newer dependencies for blaze-builder blaze-html scyther-proof tamarin-prover tamarin-prover-term tamarin-prover-theory tamarin-prover-utils
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.