Your message dated Sat, 06 Aug 2022 17:20:06 +0000 with message-id <[email protected]> and subject line Bug#992448: fixed in agda 2.6.2.2-1 has caused the Debian Bug report #992448, regarding agda: fails to compile hello world to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 992448: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=992448 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: agda Version: 2.5.4.1-3 Severity: important Dear Maintainer, *** Reporter, please consider answering these questions, where appropriate *** * What led up to the situation? * What exactly did you do (or not do) that was effective (or ineffective)? * What was the outcome of this action? * What outcome did you expect instead? *** End of the template - remove these template lines *** I installed the following packages: agda/stable 2.5.4.1-3 all agda-bin/stable 2.5.4.1-3+b1 amd64 agda-mode/stable 2.5.4.1-3 all agda-stdlib/stable,now 0.17-1 all agda-stdlib-doc/stable 0.17-1 all I followed the instructions at <https://agda.readthedocs.io/en/v2.6.2/getting-started/hello-world.html>. The file <hello.agda> checked correctly within Emacs, but when I tried to compile the file <hello-world.agda> I received the following output: $ agda --compile hello-world.agda Compiling Agda.Primitive in /usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Primitive.hs Compiling Agda.Builtin.Unit in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/Unit.hs Compiling Agda.Builtin.IO in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/IO.hs Compiling Agda.Builtin.Bool in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/Bool.hs Compiling Agda.Builtin.Nat in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/Nat.hs Compiling Agda.Builtin.Char in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/Char.hs Compiling Agda.Builtin.List in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/List.hs Compiling Agda.Builtin.String in /usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdai to /home/$user/code/agda/MAlonzo/Code/Agda/Builtin/String.hs Compiling hello-world in /home/$user/code/agda/hello-world.agdai to /home/$user/code/agda/MAlonzo/Code/QhelloZ45Zworld.hs agda: /usr/share/libghc-agda-dev/MAlonzo/src: getDirectoryContents:openDirStream: does not exist (No such file or directory) A brief web search led me to believe that this was a problem with the Debian package and I uninstalled the packages listed above and installed Agda with cabal instead, which produces the expected output. -- System Information: Debian Release: 10.10 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-16-amd64 (SMP w/2 CPU cores) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE=en_GB:en (charmap=UTF-8) Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---Source: agda Source-Version: 2.6.2.2-1 Done: Ilias Tsitsimpis <[email protected]> We believe that the bug you reported is fixed in the latest version of agda, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ilias Tsitsimpis <[email protected]> (supplier of updated agda package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 06 Aug 2022 16:14:08 +0300 Source: agda Architecture: source Version: 2.6.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <[email protected]> Changed-By: Ilias Tsitsimpis <[email protected]> Closes: 992448 1003318 1008809 Changes: agda (2.6.2.2-1) unstable; urgency=medium . * New upstream release (Closes: #1003318) * Declare compliance with Debian policy 4.6.1 * Install missing files (Closes: #1008809, #992448) Checksums-Sha1: 6809a1b1e1db11afbb1998abc1ede83396ae77b1 4447 agda_2.6.2.2-1.dsc 45d4df07f49602a6ce42b3e6a9152651e5d0716c 1690635 agda_2.6.2.2.orig.tar.gz 94446009af7881008f4c424bff2d0b12187ade12 10192 agda_2.6.2.2-1.debian.tar.xz 8db9a231ce6b44bcddaa1a8f0a96c890968879e5 16197 agda_2.6.2.2-1_amd64.buildinfo Checksums-Sha256: 74e075e94f84246a2d2b793f2405eab3a14b07b7de6831da6b260a5d1f952420 4447 agda_2.6.2.2-1.dsc e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a 1690635 agda_2.6.2.2.orig.tar.gz a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f 10192 agda_2.6.2.2-1.debian.tar.xz 49d80f432297a1dc9fc400055d7b4ff647289c1f261957d0871ab592ef5720ee 16197 agda_2.6.2.2-1_amd64.buildinfo Files: 3974e1136f1b1f4528ccb9db9e4b1642 4447 haskell optional agda_2.6.2.2-1.dsc 645087903c92b4cf387d62f3a4b47d08 1690635 haskell optional agda_2.6.2.2.orig.tar.gz c4eb7ea0d037042e80480403d06bf13a 10192 haskell optional agda_2.6.2.2-1.debian.tar.xz d1f3dc758ed1ea0fe7f17beb5a811743 16197 haskell optional agda_2.6.2.2-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLunxoUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDw+/w/9EDMfx/Xk1iJxI0KTEUmvWq6TKknM PBn799rEwdu63Gh80kk68w4/3nu4M0YTfte4WXRwtsdAWsp+s7/R8ZWT3WaAHPsG yTyrbX4Y5RCsSt193IUd6UlAj+gWxW32RWicPFBe9AW3SGCp2Pq7EuWTdQ1I3X/C RMCf1ME/8FQBuga7anHlOELaMryyvTfjtxFEcVhhduGu21N77x4PjssUTaBEURCy DkZa8wnlRkVxUSaMvW31sC/Oup4O03hkATq8tzhfJG2pfMUsRDB3x31rYcv6EiC6 PvUJZ1GPj0M4kSHmKkIwQbx27LIbpgJbwfoz6vgO/ZHlnqFp4rwXqVFRLcqkfGoh JrxQDni6mg7OmTZ+YIXfMhowWzFPGXdVIKxzGy5q0+71pae8F+russG9v1H5D+y1 ZSKIINyx/xSE0zW4liv/vLlc3p0mNP/nHie5ECzOdYoplKadFpSzaLBAurD8pYWM KWKW+Z1CFVGOe9gpkVd/sA9jySDlhAn+fJVNqrMs9DQ989LRtF1H5fnbQodbwqGi dTIFPR58Isl+lZ9RYdi/kWlaNunk+iClobX6tEibdqm34noBvi07+dIjVnP8SrW2 2TRyWbjujHT5QnxZFmH5iKnJsNdqjb8t7XXezfB/VNY1t0kZY+EugBqwwNd3WR6R /WCWEf4Ky89wZTw= =/fVd -----END PGP SIGNATURE-----
--- End Message ---
