dune subst dev, not pinned
Jean-Christophe Filliatre 2 years ago 03b3490f 5a36beb1
··· 24 24 "graphics" {with-test} 25 25 ] 26 26 build: [ 27 27 - ["dune" "subst"] {pinned} 27 27 + ["dune" "subst"] {dev} 28 28 [ 29 29 "dune" 30 30 "build"