opam-version: "2.0"
synopsis: "MTE - the MirageOS Taler Exchange"
authors: ["Olivier Pierre <swrup@protonmail.com>"]
maintainer: ["Olivier Pierre <swrup@protonmail.com>"]
license: "AGPL-3.0-only"
description:
  "A GNU Taler exchange implementation with the unikernel framework MirageOS"
tags: ["GNU Taler" "MirageOS" "unikernel" "OCaml" "crypto"]
homepage: "https://forge.kumikode.org/swrup/mte"
dev-repo: "git+https://forge.kumikode.org/swrup/mte.git"
bug-reports: "https://forge.kumikode.org/swrup/mte/issues"
depends: [
  "dune" {>= "3.20"}
  "ocaml" {>= "5.4.1"}
  "solo5"
  "ocaml-solo5"
  "crunch"
  "base32"
  "angstrom"
  "fmt"
  "logs"
  "fpath"
  "cohttp"
  "bin"
  "bytesrw"
  "jsont"
  "digestif"
  "kdf"
  "zarith"
  "eqaf"
  "mirage-crypto-ec"
  "mirage-crypto-pk"
  "ptime"
  "uri"
  "vifu"
  "vif"
  "mnet"
  "mnet-tls"
  "mnet-happy-eyeballs"
  "mnet-dns"
  "mirage-mtime"
  "mhttp-server"
  "mhttp-client"
  "mhttp"
  "mfat"
  "caqti"
  "caqti-miou"
  "caqti-mnet"
  "caqti-driver-pgx"
  "pgx"
]
build: [
  [make "build"]
]
pin-depends: [
  [ "zarith.dev" "git+https://github.com/mirage/Zarith.git#df8969d9bb95cffca13e31a615189ab27ada0684" ]
  [ "mnet.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ]
  [ "mnet-tls.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ]
  [ "mnet-happy-eyeballs.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ]
  [ "mnet-dns.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ]
  [ "mhttp.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ]
  [ "mhttp-client.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ]
  [ "mhttp-server.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ]
  [ "vif.dev" "git+https://github.com/robur-coop/vif.git#v0.0.1_beta3" ]
  [ "vifu.dev" "git+https://github.com/robur-coop/vif.git#v0.0.1_beta3" ]
  [ "mfat.dev" "git+https://github.com/robur-coop/mfat.git#v0.0.1_beta1" ]
  [ "mirage-mtime.dev" "git+https://github.com/swrup/mirage-mtime.git#6a6bb4dd25624a3c43e6417dcdf73f3c689946a7" ]
  [ "caqti.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ]
  [ "caqti-miou.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ]
  [ "caqti-mnet.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ]
  [ "caqti-driver-pgx.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ]
]