unipi: new git-mirage

This commit is contained in:
Hannes Mehnert 2023-04-03 18:28:31 +02:00
parent a94d9efedb
commit 4ddb0caf67
2 changed files with 7 additions and 4 deletions

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.5
# Generated by mirage.v4.3.6
opam-version: "2.0"
maintainer: "dummy"
@ -25,7 +25,7 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"git" { ?monorepo & >= "3.7.0" }
"git-kv" { ?monorepo & >= "0.0.2" }
"git-mirage" { ?monorepo & >= "3.10.0" & < "3.13.0" }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.14.0" }
"git-paf" { ?monorepo & >= "3.7.0" }
"happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
"http-mirage-client" { ?monorepo & >= "0.0.1" & >= "0.0.3" & < "0.1.0" }

View file

@ -1,4 +1,4 @@
# Generated by mirage.v4.3.5
# Generated by mirage.v4.3.6
opam-version: "2.0"
maintainer: "dummy"
@ -12,6 +12,9 @@ build: ["sh" "-exc" "mirage build"]
install: [
[ "cp" "dist/unipi.hvt" "%{bin}%/unipi.hvt" ]
[ "strip" "%{bin}%/unipi.hvt" ]
[ "cp" "dist/unipi.hvt" "%{prefix}%/unipi.hvt.debug" ]
[ "cp" "README.md" "%{prefix}%/README.md" ]
]
depends: [
@ -22,7 +25,7 @@ depends: [
"ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
"git" { ?monorepo & >= "3.7.0" }
"git-kv" { ?monorepo & >= "0.0.2" }
"git-mirage" { ?monorepo & >= "3.10.0" & < "3.13.0" }
"git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.14.0" }
"git-paf" { ?monorepo & >= "3.7.0" }
"happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
"http-mirage-client" { ?monorepo & >= "0.0.1" & >= "0.0.3" & < "0.1.0" }