Code

Updates for Ubuntu 22.04#132

Code

Open

mimhoff wants to merge 2 commits intoacfr:masteracfr/snark:masterfrom mimhoff:mastermimhoff/snark:masterCopy head branch name to clipboard

+202-205

Commits

Commits on Jul 12, 2023

• fix (some) build errors for new software versions

  mimhoff

  committed
  3989f51

Commits on Jul 13, 2023

• dependencies.commits: updated

  mimhoff

  committed
  e8f9bf9