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

Merge pull request 'Revert "revert orb, we need opam 2.1.2"' (#1) from orb-opam.2.2.1 into main

Browse source 
Reviewed-on: https://git.robur.coop///robur/unikernel-repo/pulls/1
This commit is contained in:
Reynir Björnsson 2024-08-26 16:01:44 +00:00
commit 6d01cfce95
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
packages/orb.0.0.2~dev/opam
View file

@ -9,12 +9,12 @@ depends: [
"ocaml" {>= "4.10.0" & < "5.0.0"} "ocaml" {>= "4.10.0" & < "5.0.0"}
"dune" {>= "2.0"} "dune" {>= "2.0"}
"cmdliner" {>= "1.1.0"} "cmdliner" {>= "1.1.0"}
"opam-client" {>= "2.1.2" & < "2.2.0"} "opam-client" {>= "2.2.0"}
"opam-repository" {>= "2.1.2" & < "2.2.0"} "opam-repository" {>= "2.2.0"}
"opam-core" {>= "2.1.2" & < "2.2.0"} "opam-core" {>= "2.2.0"}
"opam-format" {>= "2.1.2" & < "2.2.0"} "opam-format" {>= "2.2.0"}
"opam-solver" {>= "2.1.2" & < "2.2.0"} "opam-solver" {>= "2.2.0"}
"opam-state" {>= "2.1.2" & < "2.2.0"} "opam-state" {>= "2.2.0"}
] ]
build: [ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}