diff --git a/angstrom-async.opam b/angstrom-async.opam index 22460af..8dfa73c 100644 --- a/angstrom-async.opam +++ b/angstrom-async.opam @@ -6,7 +6,7 @@ homepage: "https://github.com/inhabitedtype/angstrom" bug-reports: "https://github.com/inhabitedtype/angstrom/issues" dev-repo: "git+https://github.com/inhabitedtype/angstrom.git" build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] diff --git a/angstrom-lwt-unix.opam b/angstrom-lwt-unix.opam index b956947..d99d808 100644 --- a/angstrom-lwt-unix.opam +++ b/angstrom-lwt-unix.opam @@ -6,7 +6,7 @@ homepage: "https://github.com/inhabitedtype/angstrom" bug-reports: "https://github.com/inhabitedtype/angstrom/issues" dev-repo: "git+https://github.com/inhabitedtype/angstrom.git" build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] diff --git a/angstrom-unix.opam b/angstrom-unix.opam index 3ae9b22..bcded29 100644 --- a/angstrom-unix.opam +++ b/angstrom-unix.opam @@ -6,7 +6,7 @@ homepage: "https://github.com/inhabitedtype/angstrom" bug-reports: "https://github.com/inhabitedtype/angstrom/issues" dev-repo: "git+https://github.com/inhabitedtype/angstrom.git" build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] diff --git a/angstrom.opam b/angstrom.opam index b121227..b531b40 100644 --- a/angstrom.opam +++ b/angstrom.opam @@ -6,7 +6,7 @@ homepage: "https://github.com/inhabitedtype/angstrom" bug-reports: "https://github.com/inhabitedtype/angstrom/issues" dev-repo: "git+https://github.com/inhabitedtype/angstrom.git" build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ]