Your message dated Fri, 18 Oct 2024 21:49:54 +0000 with message-id <e1t1ur4-008vs7...@fasolo.debian.org> and subject line Bug#1076387: fixed in agda-stdlib 2.1-1 has caused the Debian Bug report #1076387, regarding Cannot use agda-stdlib modules at all 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 ow...@bugs.debian.org immediately.) -- 1076387: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076387 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: agda-stdlib Version: 1.7.3-1 Severity: serious When using the agda command to verify .agda, which uses the agda-stdlib package, it tries to write to the library directory, resulting in a `permission denied` error. Here is information on related packages: ``` % dpkg --no-pager -l emacs-lucid emacs-el agda agda-bin agda-stdlib agda-stdlib-doc elpa-agda2-mode libghc-agda-dev Desired=Unknown/Install/Remove/Purge/Hold | Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend |/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad) ||/ Name Version Architecture Description +++-===============-============-============-================================================================ ii agda 2.6.3-1 all dependently typed functional programming language ii agda-bin 2.6.3-1+b3 amd64 commandline interface to Agda ii agda-stdlib 1.7.3-1 all standard library for Agda ii agda-stdlib-doc 1.7.3-1 all standard library for Agda — documentation ii elpa-agda2-mode 2.6.3-1 all dependently typed functional programming language — emacs mode ii emacs-el 1:29.4+1-3 all GNU Emacs LISP (.el) files ii emacs-lucid 1:29.4+1-3 amd64 GNU Emacs editor (with Lucid GUI support) ii libghc-agda-dev 2.6.3-1+b3 amd64 dependently typed functional programming language ``` Here are the steps to reproduce the problem: ``` % cat foo.agda open import Data.Nat ``` ``` % agda -i. -i/usr/share/agda-stdlib foo.agda Checking foo (/home/hibi/src/agda/foo.agda). Checking Data.Nat (/usr/share/agda-stdlib/Data/Nat.agda). Checking Data.Nat.Base (/usr/share/agda-stdlib/Data/Nat/Base.agda). Checking Data.Bool.Base (/usr/share/agda-stdlib/Data/Bool/Base.agda). Checking Data.Unit.Base (/usr/share/agda-stdlib/Data/Unit/Base.agda). Failed to write interface /usr/share/agda-stdlib/Data/Unit/Base.agdai. /usr/share/agda-stdlib/Data/Bool/Base.agda:11,1-37 /usr/share/agda-stdlib/Data/Unit/Base.agdai: removeLink: permission denied (Permission denied) ``` open foo.agda in emacs, and `C-c C-l` gives errors like below in emacs *Error* buffer: ``` /usr/share/agda-stdlib/Data/Bool/Base.agda:11,1-37 /usr/share/agda-stdlib/Data/Unit/Base.agdai: removeLink: permission denied (Permission denied) ``` -- Kei Hibino ex8k.hib...@gmail.com
--- End Message ---
--- Begin Message ---Source: agda-stdlib Source-Version: 2.1-1 Done: Ilias Tsitsimpis <ilias...@debian.org> We believe that the bug you reported is fixed in the latest version of agda-stdlib, 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 1076...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ilias Tsitsimpis <ilias...@debian.org> (supplier of updated agda-stdlib 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 18 Oct 2024 15:11:47 +0300 Source: agda-stdlib Architecture: source Version: 2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintain...@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <ilias...@debian.org> Closes: 981354 1044031 1076387 Changes: agda-stdlib (2.1-1) unstable; urgency=medium . * New upstream release * Set "Debian Haskell Group" as the maintainer * Declare compliance with Debian policy 4.7.0 * Install standard-library.agda-lib to use Agda's new library management system (Closes: #1076387, #981354) * Remove generated artifacts (Closes: #1044031) Checksums-Sha1: 2b01a6bc605d3186fa789a42529f90f25cba6042 2253 agda-stdlib_2.1-1.dsc 743dac57b078790e08c298fa3b76be51c2f410ff 1211622 agda-stdlib_2.1.orig.tar.gz 9497f645b756d2611497a8f7801227da39a621ae 5900 agda-stdlib_2.1-1.debian.tar.xz 7a179453ceebf5057ccd5cbacf2aaaad8e9356ee 6139 agda-stdlib_2.1-1_source.buildinfo Checksums-Sha256: 16ad0dbcce4a4172f22caf03a3daf21aeb35caf271113f569fec172aa961dfb6 2253 agda-stdlib_2.1-1.dsc 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz 1762170d3b8a70e4b2449ab89ecf21aab5ea3a6589caa6c89d21f3e9cfc7b1e1 5900 agda-stdlib_2.1-1.debian.tar.xz 0cde23cecbfa224bbafb3f9648c88b1b80bad281c76d5ca70019b41ddeb62ce7 6139 agda-stdlib_2.1-1_source.buildinfo Files: 033ec0beb4f1ad85692e49a3d6d47646 2253 libs optional agda-stdlib_2.1-1.dsc 3a0131664aa61929bc3fbb79ca68fa7b 1211622 libs optional agda-stdlib_2.1.orig.tar.gz 2cf6ff459360c3d9b35ad265204e0195 5900 libs optional agda-stdlib_2.1-1.debian.tar.xz 333801587e1c4e30b02e8d706cd5164f 6139 libs optional agda-stdlib_2.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcS1FcUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxK5xAAuTJ+vhUixGnodnRBkB2UwdSiaBLO 94r4PhxbvAJECY9HL1+wJthG9nIR5CqnyMs8Ek6FnW5/LJikizdkwknru97uBd/9 zHTlhiWBW83EZd/Bg8n+HNDjsJZZXfU9UAUjGqNpoW1wLU3J6N1edebPf6FYYQFZ QsJ7pox11hAGewrc8uYCXcdAmPJHEnxR+0bEOxPp8v5bEhMX6fIL4xGH3aPICfOV VsD+7csDoMktZ01hgMAz66VMFizPorof7Q5YRIcfHliNI3TlBnQOT7kHgJmV2Z8g Qes+m4QLyEzOGEpkAWSFL26YkLp8qyfZq8v+r1GEP3L4x8AklvoGnGcnYWwxV6hx jan8xlYt97w863o76YY0urudPGxm924vlgrBotq+U/PTGI2wwjKLSvVg+bXZywOt Ui2L0De7sqDwWdVYSm8pwY6DgssQjDTjtYF6vZzT+Pedq2QYo41Vd5h4WFd9iEFB SGDSCNrYjwoe2VGx1Ac5BbOt66/B2mPjPKeXNdROq7T1QNNZsjulI5HrOZJ8pUaB sicLxjgaVSeMtnkISMCbxNhfIhH5WrpEMBxcsRtjAI4ZGRUddgTSgzfEq1Pj5B4x b5LZkRZVRKmakcTjQabz+IYTZ/243AERAb6MjOy03Ly9QOC8O/F7NHC1IIGyzS6Y aytaRk9AGpKbQYI= =FroD -----END PGP SIGNATURE-----
pgpy1qzH1zfPv.pgp
Description: PGP signature
--- End Message ---
