Bug#1029364: RM: agda [arm64 i386] -- ROM; FTBFS

Ilias Tsitsimpis iliastsi at debian.org
Sat Jan 21 20:50:45 GMT 2023

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

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

Please remove agda from arm64 and i386. It FTBFS on these architectures,
with the current version of GHC.

Thanks,

-- 
Ilias

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

More information about the Pkg-haskell-maintainers mailing list