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>
dev-haskell/conduit: bump up to 1.0.7.1

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

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

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
dev-haskell/data-binary-ieee754: bump up to 0.4.4

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

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>
dev-haskell/pointfree bump
fix git-annex ebuild
dev-haskell/yesod-auth: bump up to 1.2.0.2

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

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

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

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

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

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>