this repo has no description
anil.recoil.org
1opam-version: "2.0"
2homepage: "https://github.com/robur-coop/webauthn"
3dev-repo: "git+https://github.com/robur-coop/webauthn.git"
4bug-reports: "https://github.com/robur-coop/webauthn/issues"
5doc: "https://robur-coop.github.io/webauthn/doc"
6maintainer: [ "team@robur.coop" ]
7authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
8license: "BSD-2-Clause"
9
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
14]
15
16depends: [
17 "ocaml" {>= "4.08.0"}
18 "dune" {>= "2.7"}
19 "dream" {dev & >= "1.0.0~alpha7"}
20 "ppx_blob" {dev}
21 "cmdliner" {dev & >= "1.1.0"}
22 "logs" {dev}
23 "lwt" {dev}
24 "yojson"
25 "ppx_deriving_yojson"
26 "digestif"
27 "mirage-crypto-ec" {>= "1.1.0"}
28 "mirage-crypto-rng" {>= "1.1.0"}
29 "ocplib-endian"
30 "x509" {>= "1.0.2"}
31 "base64" {>= "3.1.0"}
32 "cbor" {>= "0.5"}
33 "ohex" {>= "0.2.0"}
34]
35
36conflicts: [
37 "result" {< "1.5"}
38]
39
40synopsis: "WebAuthn - authenticating users to services using public key cryptography"
41description: """
42WebAuthn is a web standard published by the W3C. Its goal is to
43standardize an interfacefor authenticating users to web-based
44applications and services using public key cryptography. Modern web
45browsers support WebAuthn functionality.
46
47WebAuthn provides two funcitons: register and authenticate. Usually the
48public and private keypair is stored on an external token (Yuikey etc.)
49or part of the platform (TPM). After the public key is registered, it can
50be used to authenticate to the same service.
51
52This module does not preserve a database of registered public keys, their
53credential ID, usernames and pending challenges - instead this data must
54be stored by a client of this API in a database or other persistent
55storage.
56
57[Demo server](https://webauthn-demo.robur.coop)
58[WebAuthn specification at W3C](https://w3c.github.io/webauthn/)
59"""
60url {
61 src:
62 "https://github.com/robur-coop/webauthn/releases/download/v0.2.0/webauthn-0.2.0.tbz"
63 checksum: [
64 "sha256=74a13e1cb421c3e06b18c09e01097edafebd3b5169d600cf1da5449bf013c622"
65 "sha512=71e23aea56e6edc95fa01643cad00c3a3edea2a9cc5c1c921c4afd54bcdeaba4c9768251b8eee9c6a0f5819c9a1780507922d3012b559cf0d5949ca03cac4482"
66 ]
67}
68x-commit-hash: "317ab542200fca0ddda70f4a97c91cb2d5b2c2b8"
69x-maintenance-intent: [ "(latest)" ]