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

Compare commits

base: robur:2374e966f82af922013ad5e0b6e2c91957cf943d
Branches Tags
robur:main
robur:miragevpn-qubes
...
compare: robur:6d01cfce955e4646f8817eab841f38155d209b73
Branches Tags
robur:main
robur:miragevpn-qubes

2 commits
2374e966f8 ... 6d01cfce95

Author SHA1 Message Date
Reynir Björnsson
6d01cfce95 Merge pull request 'Revert "revert orb, we need opam 2.1.2"' (#1) from orb-opam.2.2.1 into main 
Reviewed-on: https://git.robur.coop///robur/unikernel-repo/pulls/1
 2024-08-26 16:01:44 +00:00
Reynir Björnsson
c216572037 Revert "revert orb, we need opam 2.1.2" 
This reverts commit b775eccb7b.
 2024-08-23 13:15:40 +02:00
1 changed files with 6 additions and 6 deletions
Show stats 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}