Package: agda-stdlib Version: 0.17-1 Severity: important Dear Maintainer,
I try to compile the hello world example from the agda documentation (file hello-world.agda) with the agda-bin and agda-stdlib provided by debian buster. > module hello-world where > > open import IO > > main = run (putStrLn "Hello, World!") If I try to compile it with no other arguments, the compilation will fail instantly, because it does not find the std library: > Failed to find source of module IO in any of the following > locations: > /home/moschneider/test/agda/IO.agda > /home/moschneider/test/agda/IO.lagda > /usr/share/libghc-agda-dev/lib/prim/IO.agda > /usr/share/libghc-agda-dev/lib/prim/IO.lagda > when scope checking the declaration > open import IO So I tried o make it work. Unfortunately the agda-stdlib package does not contain the "standard-library.agda-lib" file from the upstream agda-stdlib repo. I think that shi´ould be shiped with the agda-stdlib Debian package! But I created my own one in ~/.agda/standard-library.agda-lib: > name: standard-library > include: /usr/share/agda-stdlib/ And created a libraries file as described in https://agda.readthedocs.io/en/v2.5.4.1/tools/package-system.html; ~/.agda/libraries: > ~/.agda/standard-library.agda-lib and a defaults file to include the stdlib by default; ~/.agda/defaults: > standard-library With these changes agda will compile the stdlib files, but the whole process will still exit with an error: > agda: /usr/share/libghc-agda-dev/MAlonzo/src: > getDirectoryContents:openDirStream: does not exist (No such file or directory) So I cannot get agda to work together with agda-stdlib. By the way Haskell was installed by the haskell-platform Debian package. Here again the relevant package versions (everything is from Debian Buster): agda: 2.5.4.1-3 agda-stdlib: 0.17-1 ghc: 8.4.4+dfsg1-3 Kind regards Moritz Schneider -- System Information: Debian Release: 10.7 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 5.9.0-0.bpo.2-amd64 (SMP w/12 CPU cores) Kernel taint flags: TAINT_CPU_OUT_OF_SPEC Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages agda-stdlib depends on: ii libghc-agda-dev 2.5.4.1-3+b1 agda-stdlib recommends no packages. agda-stdlib suggests no packages. -- no debconf information