Merge pull request #246 from Heather/master

Update use.desc copyright
dev-haskell/hatex: bump up to 3.6.1.0

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
dev-haskell/tcache: bump up to 0.10.0.10

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
Bump agda to 2.3.2.1
Bump agda-stdlib to 0.7
Force a rebuild of agda-executable-2.3.0.1-r2 as this seems to be required with agda-2.3.2.1 to fix the error: File mode specification error: error The Agda mode s version 2.3.2.1 does not match that of agda 2.3.2.
dev-haskell/oeis: bump up to 0.3.5

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
dev-haskell/boxes: bump up to 0.1.3

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
dev-haskell/hmatrix bump
Big Manifest Update (repoman manifest on the whole tree)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>