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.3

semigroups	0.20

blaze-html-0.9.2.0

containers	0.7
QuickCheck	2.15

scyther-proof-0.10.0.1

containers	0.7
directory	1.3.8.4
filepath	1.5.2.0
json	0.11
process	1.6.19.0
tagsoup	0.14.8
time	1.14

tamarin-prover-0.8.6.3

aeson	2.2.1.0
binary	0.10.0.0
conduit	1.3.5
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.19.0
shakespeare	2.1.0.1
text	2.1.1
yesod-json	deprecated

tamarin-prover-term-0.8.5.1

attoparsec	0.14.4
dlist	1.0
split	0.2.5

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