dev-haskell/adjunctions: Update manifest

Package-Manager: portage-2.2.14
dev-haskell/chart: Update manifest

Package-Manager: portage-2.2.14
dev-haskell/filelock: Update manifest

Package-Manager: portage-2.2.14
sci-mathematics/agda: Drop ChangeLog

Signed-off-by: Vikraman Choudhury <vikraman@gentoo.org>