Update opam
dinosaure.tngl.sh 1 year ago d5b6d27d d2f3aa52
··· 12 "dune" {>= "2.0"} 13 ] 14 build: [ 15 - ["dune" "subst"] {pinned} 16 [ 17 "dune" 18 "build"
··· 12 "dune" {>= "2.0"} 13 ] 14 build: [ 15 + ["dune" "subst"] {dev} 16 [ 17 "dune" 18 "build"