update caldav to new git
This commit is contained in:
parent
34f5ee28cf
commit
1af9ca71f7
1 changed files with 10 additions and 10 deletions
|
@ -1,19 +1,20 @@
|
|||
# Generated by ./config.exe configure -t hvt --allocation-policy=best-fit (2021-01-07 14:13:25-00:00).
|
||||
# Generated by ./config.exe configure -t hvt --allocation-policy=best-fit (2021-02-15 13:26:04-00:00).
|
||||
opam-version: "2.0"
|
||||
name: "mirage-unikernel-caldav-hvt"
|
||||
depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
||||
"caldav"
|
||||
"cohttp-mirage" { >= "2.1.0" & < "3.0.0"}
|
||||
"conduit-mirage" { >= "2.2.98" & < "3.0.0"}
|
||||
"conduit-mirage" { >= "2.2.0" & < "3.0.0"}
|
||||
"crunch" {build & >= "3.1.0" & < "4.0.0"}
|
||||
"ethernet" { >= "2.2.0" & < "3.0.0"}
|
||||
"functoria-runtime"
|
||||
"git-mirage" {>= "2.98.0" & < "3.0.0"}
|
||||
"git-mirage" { >= "3.2.0"}
|
||||
"icalendar" { >= "0.1.3"}
|
||||
"irmin-git" { >= "2.0.0" & < "2.3.0"}
|
||||
"irmin-mirage-git" { >= "2.0.0" & < "2.3.0"}
|
||||
"logs-syslog" {>= "0.3.0"}
|
||||
"irmin-git" { >= "2.3.0"}
|
||||
"irmin-mirage-git" { >= "2.3.0"}
|
||||
"logs-syslog" { >= "0.3.0"}
|
||||
"lwt"
|
||||
"mimic"
|
||||
"mirage" {build & >= "3.10.0" & < "3.11.0"}
|
||||
"mirage-bootvar-solo5" { >= "0.6.0" & < "0.7.0"}
|
||||
"mirage-clock-freestanding" { >= "3.0.0" & < "4.0.0"}
|
||||
|
@ -26,17 +27,16 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
|||
"mirage-solo5" { >= "0.6.1" & < "0.7.0"}
|
||||
"mirage-types" { >= "3.10.0" & < "3.11.0"}
|
||||
"mirage-types-lwt" { >= "3.10.0" & < "3.11.0"}
|
||||
"monitoring-experiments" {>= "0.0.2"}
|
||||
"monitoring-experiments" { >= "0.0.2"}
|
||||
"ocaml" {build & >= "4.08.0"}
|
||||
"ocamlbuild" {build}
|
||||
"ocamlfind" {build}
|
||||
"solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"}
|
||||
"tcpip" { >= "6.0.0" & < "7.0.0"}
|
||||
"tls-mirage" { >= "0.12.0" & < "0.13.0"}
|
||||
"uri"
|
||||
"uri"
|
||||
]
|
||||
pin-depends: [
|
||||
["caldav.dev" "git+https://github.com/roburio/caldav.git#future-robur"]
|
||||
pin-depends: [ ["caldav.dev" "git+https://github.com/roburio/caldav.git#future"]
|
||||
]
|
||||
maintainer: "dummy"
|
||||
authors: "dummy"
|
||||
|
|
Loading…
Reference in a new issue