Albert Graef

@mardukbp, compiling functions on demand isn't enough, the Pure interpreter needs to *recompile* functions every time you add a collection of equations to an existing function. So I'm not sure...

My understanding is that at some point the cabal package format was changed, both v1- and v2-update were available during a transition period, but with the latest cabal releases v1-update...

Well, then the only option which remains is to port the package over to v2, I'm afraid. I'll look into this, but it may take some time. Yeah, the Haskell...

Nice. :) Is there a tool that automatizes this, or do you need to create the Docker image manually? How? (Yeah, I don't know much about Docker, I'm afraid.) I've...

Hi Kurt, sorry for responding so late. The sad truth is that I've not had the time to look after the Pure OBS packages for quite some time now, as...

Finally got the OBS packages up to snuff again. Looking into the texmacs issue now.

Hmm, I guess I see what you mean. Running with the Ubuntu 21.10 deb on Ubuntu 22.04, with just the minimal pure session from https://agraef.github.io/pure-docs/install.html#texmacs-plugin, this what I get: ...

Yep, it seems that TeXmacs 2.1.2 (+ guile 1.8.8) works just fine when built from source: 

I'll probably do a proper OBS build of guile 1.8.8 and TeXmacs 2.1.2 as soon as I find the time, but for the time being, here's the build process that...

I've closed this for now, since the problem really lies upstream, and needs to be addressed upstream by providing a proper package. ;-) Don't get me wrong, I love TeXmacs,...