Code

Update src ext versions#3889

Code

Merged

AltGr merged 9 commits intoocaml:masterocaml/opam:masterfrom dra27:update-src_extdra27/opam:update-src_extCopy head branch name to clipboardJun 27, 2019

+319-33

Commits

Commits on Jun 26, 2019

• Support Dune 1.7.0 and later

  Show description for 450d7f7
  dra27

  committed
  450d7f7

  Copy full SHA for 450d7f7

• Fix update-sources.sh with dune-local

  dra27

  committed
  0a01aa0

  Copy full SHA for 0a01aa0

• Fix update-sources.sh for seq.base

  dra27

  committed
  7def5df

  Copy full SHA for 7def5df

• Fix update-sources.sh when opam lacking md5

  dra27

  committed
  e26f89f

  Copy full SHA for e26f89f

• Update src_ext libraries

  dra27

  committed
  0d57dba

  Copy full SHA for 0d57dba

• Update cmdliner

  Show description for d88fad3
  dra27

  committed
  d88fad3

  Copy full SHA for d88fad3

• Update Dune to 1.10.0

  dra27

  committed
  cc1f498

  Copy full SHA for cc1f498

• Fix lib-pkg for Dune 1.10

  dra27

  committed
  b96829f

  Copy full SHA for b96829f

• Restore src_ext build for 4.02.3

  dra27

  committed
  9cc090c

  Copy full SHA for 9cc090c