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

Revert "revert orb, we need opam 2.1.2" #1

Merged
reynir merged 1 commit from orb-opam.2.2.1 into main 2024-08-26 16:01:45 +00:00
Conversation 0 Commits 1 Files changed 1 +6 -6
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit c216572037 - Show all commits

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}