Agda 2.6.2

Only display out-of-date packages.

7 Reverse deps	Accepted versions
Agda-executable	==2.3.0.1
agda-language-server	==2.6.2
agda-server	>=2.3.3
agda-snippets	==2.5.2
agda-unused	>=2.6.1 && <2.6.2
hakyll-agda	>=2.6.1
PandocAgda	==2.3.3