Bug#1085398: RM: agda [armhf] -- ROM; FTBFS due to GHC bug

Ilias Tsitsimpis iliastsi at debian.org
Fri Oct 18 22:38:15 BST 2024

Previous message (by thread): Processing of agda-stdlib_2.1-1_source.changes
Next message (by thread): agda-stdlib_2.1-1_source.changes ACCEPTED into unstable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Package: ftp.debian.org
Severity: normal
Tags: ftbfs
X-Debbugs-Cc: agda at packages.debian.org
Control: affects -1 + src:agda
User: ftp.debian.org at packages.debian.org
Usertags: remove

The agda package FTBFS on armhf, most probably due to a GHC bug. Please
remove agda from armhf to allow it to migrate to testing.

Thanks,
Ilias

Previous message (by thread): Processing of agda-stdlib_2.1-1_source.changes
Next message (by thread): agda-stdlib_2.1-1_source.changes ACCEPTED into unstable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list