Code

Minor dream-mirage fixes#283

Code

Merged

aantron merged 6 commits intoaantron:masteraantron/dream:masterfrom tmcgilchrist:patch-1tmcgilchrist/dream:patch-1Copy head branch name to clipboardNov 2, 2023

+23-41

Commits

Commits on May 15, 2023

• Add lower bound for mimic in dream-mirage.opam

  tmcgilchrist

  authored
  82d36a7

  Copy full SHA for 82d36a7

Commits on May 16, 2023

• Update Dream_mirage with remove deprecated values changes.

  Show description for ebb6d57
  tmcgilchrist

  committed
  ebb6d57

  Copy full SHA for ebb6d57

Commits on May 17, 2023

• Update lwt_ppx to 2.1.0

  Show description for fcc20d0
  tmcgilchrist

  authored
  fcc20d0

  Copy full SHA for fcc20d0

Commits on Oct 31, 2023

• Revert "Update lwt_ppx to 2.1.0"

  Show description for 489a078
  aantron

  committed
  489a078

  Copy full SHA for 489a078

Commits on Nov 2, 2023

• Loosen mimic contraint to 0.0.4

  aantron

  committed
  4ab96b7

  Copy full SHA for 4ab96b7

• mimic constraint should be 0.0.5, required by vendored paf

  aantron

  committed
  44d99f5

  Copy full SHA for 44d99f5