HJavaScript 0.4.7

Only display out-of-date packages.

2 Reverse deps	Accepted versions
agda-server	>=0
HJScript	>=0.4.6