Re: Rivet version is 3.2.5

2024-10-20 Thread Massimo Manghi
Thank you Brice for the feedback. We used to have a package for OpenSuse but I guess packaging for the OS is now orphaned. -- M On 10/20/24 16:09, Brice Hamon wrote: Hi guys, We've recompiled and installed *Rivet* version is 3.2.5 on a fresh server. So far so good. Compilation was successfu

Rivet version is 3.2.5

2024-10-20 Thread Brice Hamon
Hi guys, We've recompiled and installed *Rivet* version is 3.2.5 on a fresh server. So far so good. Compilation was successful. Installation too. OS: OpenSuse 15.5 Linux 5.14.21-150500.55.83-default #1 SMP PREEMPT_DYNAMIC Wed Oct 2 08:09:07 UTC 2024 (0d53847) x86_64 x86_64 x86_64 GNU/Linux Tha

Re: Rivet version is 3.2.5

2024-10-20 Thread Harald Oehlmann
Yes, I made it. Sorry, that I stopped. I am on travel. It even has some basic test cases, introduced by someone else. Sorry, Harald Am 20.10.2024 um 17:36 schrieb Massimo Manghi: Thank you Brice for the feedback. We used to have a package for OpenSuse but I guess packaging for the OS is now orp