Skip to content

Commit

Permalink
s/pinned/dev/ in opam file
Browse files Browse the repository at this point in the history
Signed-off-by: Jeremie Dimino <[email protected]>
  • Loading branch information
jeremiedimino committed Mar 31, 2021
1 parent 395b95c commit 2a9587e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pp.opam
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ depends: [
"ppx_expect" {with-test}
]
build: [
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
[
"dune"
"build"
Expand Down

0 comments on commit 2a9587e

Please sign in to comment.