Newer dependencies for your Hackage packages

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.

blaze-builder-0.4.2.2

semigroups	0.20

blaze-html up to date

scyther-proof-0.10.0.1

containers	0.6.5.1
directory	1.3.7.0
json	0.10
process	1.6.14.0
tagsoup	0.14.8
time	1.13

tamarin-prover-0.8.6.3

aeson	2.0.3.0
binary	0.10.0.0
conduit	1.3.4.2
derive	2.6.5
fclabels	2.0.5.1
hamlet	deprecated
HUnit	1.6.2.0
monad-control	1.0.3.1
process	1.6.14.0
text	2.0
yesod-json	deprecated

tamarin-prover-term-0.8.5.1

attoparsec	0.14.4
dlist	1.0
split	0.2.3.4

tamarin-prover-theory-0.8.6.0

binary	0.10.0.0
derive	2.6.5
fclabels	2.0.5.1

tamarin-prover-utils-0.8.5.1

dlist	1.0
fclabels	2.0.5.1