Code

dune: bump to 3.8#79

Code

Merged

pi8027 merged 4 commits intomath-comp:mastermath-comp/multinomials:masterfrom Alizter:dune-3-8Alizter/multinomials:dune-3-8Copy head branch name to clipboardNov 30, 2023

+19-131

Commits

Commits on Nov 27, 2023

• dune: bump to 3.8

  Show description for 116ed10
  Alizter

  committed
  116ed10

  Copy full SHA for 116ed10

Commits on Nov 28, 2023

• Fix

  pi8027

  committed
  c344d24

  Copy full SHA for c344d24

Commits on Nov 29, 2023

• Update src/dune.in

  Show description for 4777e77
  Alizter

  committed
  4777e77

  Copy full SHA for 4777e77

Commits on Nov 30, 2023

• Fix the version constraint on dune in the opam file

  pi8027

  committed
  b661f0e

  Copy full SHA for b661f0e