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