Code

Added Debian 12.5 support#88

Code

Merged

vitalych merged 3 commits intomasterS2E/s2e:masterfrom issue/debian-12S2E/s2e:issue/debian-12Copy head branch name to clipboardMar 17, 2024

+15-15

Commits

Commits on Mar 10, 2024

• testsuite/coreutils-echo: use debian 12.5

  Show description for 47ffe8a
  vitalych

  committed
  47ffe8a

  Copy full SHA for 47ffe8a

• vagrant: added debian 12.5

  Show description for 11d273d
  vitalych

  committed
  11d273d

  Copy full SHA for 11d273d

Commits on Mar 17, 2024

• docs: updated debian version

  Show description for e722bc9
  vitalych

  committed
  e722bc9

  Copy full SHA for e722bc9