Skip to content

Commit

Permalink
machines: update information about Linux distributions
Browse files Browse the repository at this point in the history
  • Loading branch information
@fishilico
fishilico committed Aug 16, 2024
1 parent 49593da commit 2bab98a
Show file tree
Hide file tree
Showing 14 changed files with 88 additions and 88 deletions.
4 changes: 2 additions & 2 deletions machines/Dockerfile-alpine3.16
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,9 @@ CMD ["/run_shared_test.sh"]
# gcc: gcc (Alpine 11.2.1_git20220219) 11.2.1 20220219
# clang: Alpine clang version 13.0.1
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 11.3.0
# Linux kernel: 5.15.148-0-lts
# Linux kernel: 5.15.159-0-lts
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.3
# python3: Python 3.10.13
# python3: Python 3.10.14
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# rustc: rustc 1.60.0
Expand Down
12 changes: 6 additions & 6 deletions machines/Dockerfile-alpine3.17
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,12 +77,12 @@ CMD ["/run_shared_test.sh"]
# gcc: gcc (Alpine 12.2.1_git20220924-r4) 12.2.1 20220924
# clang: Alpine clang version 15.0.7
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 12.2.0
# Linux kernel: 5.15.148-0-lts
# Linux kernel: 5.15.164-0-lts
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.3
# python: Python 3.10.13
# python3: Python 3.10.13
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# python: Python 3.10.14
# python3: Python 3.10.14
# javac: javac 11.0.23
# java: openjdk 11.0.23 2024-04-16
# rustc: rustc 1.64.0
# cargo: cargo 1.64.0
# openssl: OpenSSL 3.0.12 24 Oct 2023 (Library: OpenSSL 3.0.12 24 Oct 2023)
# openssl: OpenSSL 3.0.14 4 Jun 2024 (Library: OpenSSL 3.0.14 4 Jun 2024)
8 changes: 4 additions & 4 deletions machines/Dockerfile-alpine3.18
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,12 +77,12 @@ CMD ["/run_shared_test.sh"]
# gcc: gcc (Alpine 12.2.1_git20220924-r10) 12.2.1 20220924
# clang: Alpine clang version 16.0.6
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 12.2.0
# Linux kernel: 6.1.77-0-lts
# Linux kernel: 6.1.104-0-lts
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.4
# python: Python 3.11.8
# python3: Python 3.11.8
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.71.1 (eb26296b5 2023-08-03) (Alpine Linux)
# cargo: cargo 1.71.1
# openssl: OpenSSL 3.1.4 24 Oct 2023 (Library: OpenSSL 3.1.4 24 Oct 2023)
# openssl: OpenSSL 3.1.6 4 Jun 2024 (Library: OpenSSL 3.1.6 4 Jun 2024)
16 changes: 8 additions & 8 deletions machines/Dockerfile-alpine3.19
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,12 +77,12 @@ CMD ["/run_shared_test.sh"]
# gcc: gcc (Alpine 13.2.1_git20231014) 13.2.1 20231014
# clang: Alpine clang version 17.0.5
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 13.2.0
# Linux kernel: 6.6.16-0-lts
# Linux kernel: 6.6.45-0-lts
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.4_git20230717
# python: Python 3.11.6
# python3: Python 3.11.6
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# rustc: rustc 1.72.1 (d5c2e9c34 2023-09-13) (Alpine Linux 1.72.1-r0)
# cargo: cargo 1.72.1
# openssl: OpenSSL 3.1.4 24 Oct 2023 (Library: OpenSSL 3.1.4 24 Oct 2023)
# python: Python 3.11.9
# python3: Python 3.11.9
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.76.0 (07dca489a 2024-02-04) (Alpine Linux 1.76.0-r0)
# cargo: cargo 1.76.0
# openssl: OpenSSL 3.1.6 4 Jun 2024 (Library: OpenSSL 3.1.6 4 Jun 2024)
26 changes: 13 additions & 13 deletions machines/Dockerfile-archlinux
View file
Original file line number Diff line number Diff line change
Expand Up @@ -91,19 +91,19 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: ok
# i686-w64-mingw32-gcc: ok
# Versions:
# gcc: gcc (GCC) 14.1.1 20240507
# clang: clang version 17.0.6
# gcc: gcc (GCC) 14.2.1 20240805
# clang: clang version 18.1.8
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 13.1.0
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 13.1.0
# wine: wine-9.8
# Linux kernel: 6.8.9-arch1-2
# /lib/ld-linux.so.2: ld.so (GNU libc) stable release version 2.39.
# wine: wine-9.14
# Linux kernel: 6.10.4-arch2-1
# /lib/ld-linux.so.2: ld.so (GNU libc) stable release version 2.40.
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.5
# python: Python 3.12.3
# python3: Python 3.12.3
# javac: javac 22
# java: openjdk 22 2024-03-19
# rustc: rustc 1.78.0 (9b00956e5 2024-04-29) (Arch Linux rust 1:1.78.0-1)
# cargo: cargo 1.78.0
# coqc: The Coq Proof Assistant, version 8.19.1 compiled with OCaml 5.1.1
# openssl: OpenSSL 3.3.0 9 Apr 2024 (Library: OpenSSL 3.3.0 9 Apr 2024)
# python: Python 3.12.4
# python3: Python 3.12.4
# javac: javac 22.0.2
# java: openjdk 22.0.2 2024-07-16
# rustc: rustc 1.80.1 (3f5fd8dd4 2024-08-06) (Arch Linux rust 1:1.80.1-1)
# cargo: cargo 1.80.1 (376290515 2024-07-16)
# coqc: The Coq Proof Assistant, version 8.19.2 compiled with OCaml 5.2.0
# openssl: OpenSSL 3.3.1 4 Jun 2024 (Library: OpenSSL 3.3.1 4 Jun 2024)
2 changes: 1 addition & 1 deletion machines/Dockerfile-debian10-buster
View file
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,7 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 8.3-win32 20190406
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 8.3-win32 20190406
# wine: wine-4.0 (Debian 4.0-2)
# Linux kernel: 4.19.0-26-amd64
# Linux kernel: 4.19.0-27-amd64
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.1.21
# python3: Python 3.7.3
# javac: javac 11.0.23
Expand Down
6 changes: 3 additions & 3 deletions machines/Dockerfile-debian11-bullseye
View file
Original file line number Diff line number Diff line change
Expand Up @@ -106,11 +106,11 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 10-win32 20210110
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 10-win32 20210110
# wine: wine-5.0.3 (Debian 5.0.3-3)
# Linux kernel: 5.10.0-29-amd64
# Linux kernel: 5.10.0-32-amd64
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.2
# python3: Python 3.9.2
# javac: javac 17.0.11
# java: openjdk 17.0.11 2024-04-16
# javac: javac 17.0.12
# java: openjdk 17.0.12 2024-07-16
# rustc: rustc 1.48.0
# cargo: cargo 1.46.0
# coqc: The Coq Proof Assistant, version 8.12.0 (November 2020) compiled on Nov 25 2020 6:34:32 with OCaml 4.11.1
Expand Down
8 changes: 4 additions & 4 deletions machines/Dockerfile-debian12-bookworm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -106,13 +106,13 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 12-win32
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 12-win32
# wine: wine-8.0 (Debian 8.0~repack-4)
# Linux kernel: 6.1.0-21-amd64
# Linux kernel: 6.1.0-23-amd64
# /lib/ld-linux.so.2: ld.so (Debian GLIBC 2.36-9+deb12u7) stable release version 2.36.
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.3
# python3: Python 3.11.2
# javac: javac 17.0.11
# java: openjdk 17.0.11 2024-04-16
# javac: javac 17.0.12
# java: openjdk 17.0.12 2024-07-16
# rustc: rustc 1.63.0
# cargo: cargo 1.65.0
# coqc: The Coq Proof Assistant, version 8.16.1 compiled with OCaml 4.13.1
# openssl: OpenSSL 3.0.11 19 Sep 2023 (Library: OpenSSL 3.0.11 19 Sep 2023)
# openssl: OpenSSL 3.0.13 30 Jan 2024 (Library: OpenSSL 3.0.13 30 Jan 2024)
16 changes: 8 additions & 8 deletions machines/Dockerfile-fedora39
View file
Original file line number Diff line number Diff line change
Expand Up @@ -101,18 +101,18 @@ CMD ["xvfb-run", "/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: ok
# i686-w64-mingw32-gcc: ok
# Versions:
# gcc: gcc (GCC) 13.2.1 20240316 (Red Hat 13.2.1-7)
# gcc: gcc (GCC) 13.3.1 20240522 (Red Hat 13.3.1-1)
# clang: clang version 17.0.6 (Fedora 17.0.6-2.fc39)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 13.2.1 20230728 (Fedora MinGW 13.2.1-5.fc39)
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 13.2.1 20230728 (Fedora MinGW 13.2.1-5.fc39)
# wine: wine-9.1 (Staging)
# Linux kernel: 6.8.9-200.fc39.x86_64
# Linux kernel: 6.10.3-100.fc39.x86_64
# /lib/ld-linux.so.2: ld.so (GNU libc) stable release version 2.38.
# python: Python 3.12.3
# python3: Python 3.12.3
# javac: javac 11.0.23
# java: openjdk 11.0.23 2024-04-16
# rustc: rustc 1.78.0 (9b00956e5 2024-04-29) (Fedora 1.78.0-1.fc39)
# cargo: cargo 1.78.0
# python: Python 3.12.4
# python3: Python 3.12.4
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.80.0 (051478957 2024-07-21) (Fedora 1.80.0-1.fc39)
# cargo: cargo 1.80.0 (376290515 2024-07-16)
# coqc: The Coq Proof Assistant, version 8.18.0 compiled with OCaml 5.0.1+dev0-2022-12-15
# openssl: OpenSSL 3.1.1 30 May 2023 (Library: OpenSSL 3.1.1 30 May 2023)
24 changes: 12 additions & 12 deletions machines/Dockerfile-fedora40
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,18 +102,18 @@ CMD ["xvfb-run", "/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: ok
# i686-w64-mingw32-gcc: ok
# Versions:
# gcc: gcc (GCC) 14.1.1 20240507 (Red Hat 14.1.1-1)
# clang: clang version 18.1.1 (Fedora 18.1.1-1.fc40)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 14.0.1 20240127 (Fedora MinGW 14.0.1-1.fc40)
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 14.0.1 20240127 (Fedora MinGW 14.0.1-1.fc40)
# gcc: gcc (GCC) 14.2.1 20240801 (Red Hat 14.2.1-1)
# clang: clang version 18.1.6 (Fedora 18.1.6-3.fc40)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 14.1.1 20240607 (Fedora MinGW 14.1.1-3.fc40)
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 14.1.1 20240607 (Fedora MinGW 14.1.1-3.fc40)
# wine: wine-9.5 (Staging)
# Linux kernel: 6.8.9-300.fc40.x86_64
# Linux kernel: 6.10.3-200.fc40.x86_64
# /lib/ld-linux.so.2: ld.so (GNU libc) stable release version 2.39.
# python: Python 3.12.3
# python3: Python 3.12.3
# javac: javac 11.0.23
# java: openjdk 11.0.23 2024-04-16
# rustc: rustc 1.78.0 (9b00956e5 2024-04-29) (Fedora 1.78.0-1.fc40)
# cargo: cargo 1.78.0
# python: Python 3.12.4
# python3: Python 3.12.4
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.80.0 (051478957 2024-07-21) (Fedora 1.80.0-1.fc40)
# cargo: cargo 1.80.0 (376290515 2024-07-16)
# coqc: The Coq Proof Assistant, version 8.18.0 compiled with OCaml 5.1.1
# openssl: OpenSSL 3.2.1 30 Jan 2024 (Library: OpenSSL 3.2.1 30 Jan 2024)
# openssl: OpenSSL 3.2.2 4 Jun 2024 (Library: OpenSSL 3.2.2 4 Jun 2024)
30 changes: 15 additions & 15 deletions machines/Dockerfile-fedora41
View file
Original file line number Diff line number Diff line change
Expand Up @@ -101,18 +101,18 @@ CMD ["xvfb-run", "/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: ok
# i686-w64-mingw32-gcc: ok
# Versions:
# gcc: gcc (GCC) 14.1.1 20240507 (Red Hat 14.1.1-1)
# clang: clang version 18.1.3 (Fedora 18.1.3-2.fc41)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 14.1.1 20240507 (Fedora MinGW 14.1.1-1.fc41)
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 14.1.1 20240507 (Fedora MinGW 14.1.1-1.fc41)
# wine: wine-9.5 (Staging)
# Linux kernel: 6.9.0-0.rc7.20240510git448b3fe5a0ea.62.fc41.x86_64
# /lib/ld-linux.so.2: ld.so (GNU libc) development release version 2.39.9000.
# python: Python 3.12.3
# python3: Python 3.12.3
# javac: javac 11.0.23
# java: openjdk 11.0.23 2024-04-16
# rustc: rustc 1.78.0 (9b00956e5 2024-04-29) (Fedora 1.78.0-1.fc41)
# cargo: cargo 1.78.0
# coqc: The Coq Proof Assistant, version 8.18.0 compiled with OCaml 5.1.1
# openssl: OpenSSL 3.2.1 30 Jan 2024 (Library: OpenSSL 3.2.1 30 Jan 2024)
# gcc: gcc (GCC) 14.1.1 20240701 (Red Hat 14.1.1-7)
# clang: clang version 18.1.8 (Fedora 18.1.8-3.fc41)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 14.1.1 20240701 (Fedora MinGW 14.1.1-5.fc41)
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 14.1.1 20240701 (Fedora MinGW 14.1.1-5.fc41)
# wine: wine-9.15 (Staging)
# Linux kernel: 6.11.0-0.rc3.20240814git6b0f8db921ab.32.fc42.x86_64
# /lib/ld-linux.so.2: ld.so (GNU libc) stable release version 2.40.
# python: Python 3.13.0rc1
# python3: Python 3.13.0rc1
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.80.1 (3f5fd8dd4 2024-08-06) (Fedora 1.80.1-1.fc41)
# cargo: cargo 1.80.1 (376290515 2024-07-16)
# coqc: The Coq Proof Assistant, version 8.18.0 compiled with OCaml 5.2.0
# openssl: OpenSSL 3.2.2 4 Jun 2024 (Library: OpenSSL 3.2.2 4 Jun 2024)
6 changes: 3 additions & 3 deletions machines/Dockerfile-ubuntu2004-focal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -109,11 +109,11 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 9.3-win32 20200320
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 9.3-win32 20200320
# wine: wine-5.0 (Ubuntu 5.0-3ubuntu1)
# Linux kernel: 5.4.0-181-generic
# Linux kernel: 5.4.0-192-generic
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.1.24
# python3: Python 3.8.10
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.75.0 (82e1608df 2023-12-21) (built from a source tarball)
# cargo: cargo 1.75.0
# coqc: The Coq Proof Assistant, version 8.11.0 (March 2020) compiled on Mar 5 2020 20:37:30 with OCaml 4.08.1
Expand Down
8 changes: 4 additions & 4 deletions machines/Dockerfile-ubuntu2204-jammy
View file
Original file line number Diff line number Diff line change
Expand Up @@ -103,12 +103,12 @@ CMD ["/run_shared_test.sh"]
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 10-win32 20220113
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 10-win32 20220113
# wine: wine-6.0.3 (Ubuntu 6.0.3~repack-1)
# Linux kernel: 5.15.0-106-generic
# /lib/ld-linux.so.2: ld.so (Ubuntu GLIBC 2.35-0ubuntu3.7) stable release version 2.35.
# Linux kernel: 5.15.0-118-generic
# /lib/ld-linux.so.2: ld.so (Ubuntu GLIBC 2.35-0ubuntu3.8) stable release version 2.35.
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.2
# python3: Python 3.10.12
# javac: javac 11.0.22
# java: openjdk 11.0.22 2024-01-16
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.75.0 (82e1608df 2023-12-21) (built from a source tarball)
# cargo: cargo 1.75.0
# coqc: The Coq Proof Assistant, version 8.15.0 compiled with OCaml 4.13.1
Expand Down
10 changes: 5 additions & 5 deletions machines/Dockerfile-ubuntu2404-noble
View file
Original file line number Diff line number Diff line change
Expand Up @@ -101,16 +101,16 @@ CMD ["/run_shared_test.sh"]
# i686-w64-mingw32-gcc: ok
# Versions:
# gcc: gcc (Ubuntu 13.2.0-23ubuntu4) 13.2.0
# clang: Ubuntu clang version 18.1.3 (1)
# clang: Ubuntu clang version 18.1.3 (1ubuntu1)
# x86_64-w64-mingw32-gcc: x86_64-w64-mingw32-gcc (GCC) 13-win32
# i686-w64-mingw32-gcc: i686-w64-mingw32-gcc (GCC) 13-win32
# wine: wine-9.0 (Ubuntu 9.0~repack-4build3)
# Linux kernel: 6.8.0-31-generic
# /lib/ld-linux.so.2: ld.so (Ubuntu GLIBC 2.39-0ubuntu8.1) stable release version 2.39.
# Linux kernel: 6.8.0-40-generic
# /lib/ld-linux.so.2: ld.so (Ubuntu GLIBC 2.39-0ubuntu8.2) stable release version 2.39.
# /lib/ld-musl-x86_64.so.1: musl libc (x86_64) Version 1.2.4
# python3: Python 3.12.3
# javac: javac 11.0.23
# java: openjdk 11.0.23 2024-04-16
# javac: javac 11.0.24
# java: openjdk 11.0.24 2024-07-16
# rustc: rustc 1.75.0 (82e1608df 2023-12-21) (built from a source tarball)
# cargo: cargo 1.75.0
# coqc: The Coq Proof Assistant, version 8.18.0 compiled with OCaml 4.14.1
Expand Down

0 comments on commit 2bab98a

Please sign in to comment.