Bug#1008809: agda: compilation error, getDirectoryContents:openDirStream

[florine forine]

Package: agda
Version: 2.6.1-1
Severity: normal

Dear Maintainer,

   I tried to compile a program with `agda --compile`
   or `c-c c-x c-c` in Emacs but compilation fails and the compiler
   throws the following error message

   "agda: /usr/share/libghc-agda-dev/MAlonzo/src: getDirectoryContents:openDirStream: does not  exist (No such file or directory)"

   The program was
    
    ~~~agda
    module hello-world where
    open import Agda.Builtin.IO using (IO)
    open import Agda.Builtin.Unit using (⊤)
    open import Agda.Builtin.String using (String)
    postulate putStrLn : String → IO ⊤
    {-# FOREIGN GHC import qualified Data.Text as T #-}
    {-# COMPILE GHC putStrLn = putStrLn . T.unpack #-}
    main : IO ⊤
    main = putStrLn "Hello world!"
    ~~~

-- System Information:
Debian Release: bookworm/sid
Architecture: amd64 (x86_64)

Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set

Versions of packages agda depends on:
ii  agda-bin         2.6.1-1+b3
ii  agda-stdlib      1.3-2
ii  agda-stdlib-doc  1.3-2
ii  elpa-agda2-mode  2.6.1-1
ii  libghc-agda-dev  2.6.1-1+b3

agda recommends no packages.

agda suggests no packages.

-- no debconf information

-- 
https://www.positivemoney.eu