Code

Improve dependencies in configs#426

Code

Merged

gfngfn merged 3 commits intomastergfngfn/SATySFi:masterfrom fix-camlimages-dependenciesgfngfn/SATySFi:fix-camlimages-dependenciesCopy head branch name to clipboardFeb 5, 2024

+9-9

Commits

Commits on Jan 18, 2024

• fix src/dune about how to use camlimages

  gfngfn

  committed
  cfc4c9d

  Copy full SHA for cfc4c9d

• specify more versions in satysfi.opam

  gfngfn

  committed
  62dcbfd

  Copy full SHA for 62dcbfd

Commits on Feb 3, 2024

• revert change on the version constraint of camlimages for the moment

  gfngfn

  committed
  e0f744e

  Copy full SHA for e0f744e