Package: rlwrap Version: 0.41-1 Tags: fixed-upstream Forwarded: https://github.com/hanslub42/rlwrap/issues/18
$ rlwrap coqtop rlwrap: error: Couldn't read completions from /usr/share/rlwrap/completions/coqtop: No such file or directory $ ls -l /usr/share/rlwrap/completions/coqtop -rw-r--r-- 1 root root 730 Oct 25 15:53 /usr/share/rlwrap/completions/coqtop This error results from an incorrect test with a stale value of errno. It was reported and fixed uptream in v0.42: https://github.com/hanslub42/rlwrap/issues/18 https://github.com/hanslub42/rlwrap/commit/691b4a60204da9648914d64627a946914efd6536 Anders -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
