robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

opam: pinned -> dev

Browse source
This commit is contained in:
Hannes Mehnert 2021-12-28 17:14:54 +01:00
parent 842207b1f4
commit 653b5a1cc3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packages/jackline.0.1.0/opam vendored
View file

@ -52,7 +52,7 @@ depends: [
"happy-eyeballs-lwt" {>= "0.1.1"} "happy-eyeballs-lwt" {>= "0.1.1"}
] ]
build: [ build: [
["dune" "subst"] {pinned} ["dune" "subst"] {dev}
[ [
"dune" "dune"
"build" "build"