You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

55 lines
1.3 KiB

opam-version: "2.0"
maintainer: [
"Stefanie Schirmer @linse"
"Hannes Mehnert"
authors: [
"Stefanie Schirmer @linse"
"Hannes Mehnert"
homepage: ""
bug-reports: ""
dev-repo: "git+"
tags: ["org:mirage" "org:robur"]
doc: ""
license: "ISC"
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
pin-depends: [
["" "git+"]
["" "git+"]
["" "git+"]
["" "git+"]
depends: [
"ocaml" {>= "4.05.0"}
"dune" {build}
"alcotest" {with-test}
"ounit" {with-test}
"mirage-random-test" {with-test}
"mirage-clock-unix" {with-test}
"mirage-kv-mem" {with-test}
"ppx_deriving" {build}
synopsis: "A CardDAV server"
description: """
A CardDAV server. Supports everything from the roburio/vcard library.
Also supports a bit of WebDAV.