You are not logged in.

#1 2020-09-06 15:47:02

chrisd
Member
Registered: 2020-09-06
Posts: 9

[SOLVED] coqide crashes since last update

Dear all,

I updated using pacman -Syu on my 32 bits laptop and, among other upgrades,
coqide was upgraded from version 8.11.0 to 8.12.0. However, it now crashes
very often. If I open an empty coqide window and start typing a first line of a
theorem it will crash before this first line is finished (Segmentation fault). I
downgraded both coq and coqide from 8.12.0 to 8.11.0 hoping that the crash
would go away but it still crashes. I also updated another 64 bit computer using
official archlinux but the update on coqide there did not result in a crashing
coqide on that computer.

Anyone any ideas?
Thanks!
Chris

Last edited by levi (2020-10-03 16:00:41)

Offline

#2 2020-09-06 21:14:04

levi
Moderator
From: Yorkshire, UK
Registered: 2018-06-16
Posts: 1,197

Re: [SOLVED] coqide crashes since last update

Look in /var/cache/pacman/pkg using ls -tc (perhaps also with -r to sort the most recent files to the end, and with -l so you can actually see the date of installation) to get the list of packages updated during your last update.  It technically could be nearly any of them, although with the list in front of us we could maybe make some educated guesses at additional things to downgrade.


Architecture: pentium4, Testing repos: Yes, Hardware: EeePC 901+2GB RAM+OS half on the SD card.

Offline

#3 2020-10-03 11:30:22

chrisd
Member
Registered: 2020-09-06
Posts: 9

Re: [SOLVED] coqide crashes since last update

I have not had time to look into what package was causing this but I just updated again (pacman -Syu) and now the problem seems to be gone.

Offline

#4 2020-10-03 16:00:18

levi
Moderator
From: Yorkshire, UK
Registered: 2018-06-16
Posts: 1,197

Re: [SOLVED] coqide crashes since last update

Good news.  It seems it was straightforward enough to reproduce this defect according to your OP, and as you're reporting it's no longer doing that, I'm going to mark this thread as solved.  If it crashes later when doing something specific, you can open open a more specific thread then.


Architecture: pentium4, Testing repos: Yes, Hardware: EeePC 901+2GB RAM+OS half on the SD card.

Offline

Board footer

Powered by FluxBB