Latest pre-release does not work on non-recent Linux (e.g. Codespace default) due to GLIBC version

[lemmy]

@lemmy ➜ /workspaces/tlapm (mku-LessSimpleEventually) $ wget https://github.com/tlaplus/tlapm/releases/download/1.6.0-pre/tlapm-1.6.0-pre-x86_64-linux-gnu.tar.gz

...

@lemmy ➜ /workspaces/tlapm (mku-LessSimpleEventually) $ ./tlapm/bin/tlapm --version
./tlapm/bin/tlapm: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.35' not found (required by ./tlapm/bin/tlapm)
./tlapm/bin/tlapm: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by ./tlapm/bin/tlapm)
./tlapm/bin/tlapm: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by ./tlapm/bin/tlapm)
./tlapm/bin/tlapm: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by ./tlapm/bin/tlapm)

@lemmy ➜ /workspaces/tlapm (mku-LessSimpleEventually) $ cat /etc/debian_version 
bullseye/sid

@lemmy ➜ /workspaces/tlapm (mku-LessSimpleEventually) $ dpkg -l |grep libc6
ii  libc6:amd64                      2.31-0ubuntu9.16                  amd64        GNU C Library: Shared libraries
ii  libc6-dbg:amd64                  2.31-0ubuntu9.16                  amd64        GNU C Library: detached debugging symbols
ii  libc6-dev:amd64                  2.31-0ubuntu9.16                  amd64        GNU C Library: Development Libraries and Header Files
ii  libc6-i386                       2.31-0ubuntu9.16                  amd64        GNU C Library: 32-bit shared libraries for AMD64

[lemmy]

IMO it is a good practice to support the last two LTS releases of Debian and Ubuntu.