Dear all,

here is the information that I have about the current StarExec configuration:

root@starexec2:~# uname -r 5.15.0-112-generic

oot@starexec2:~# dpkg -l libc6-dev:amd64 python3 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  libc6-dev:amd64 2.35-0ubuntu3.8 amd64        GNU C Library: Development Libraries and Header Files ii  python3         3.10.6-1~22.04  amd64        interactive high-level object-oriented language (default python3 version)

Note that the information here

https://www.starexec.org/starexec/public/machine-specs.txt

is outdated!

Best Florian