this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jane Street developers"
3authors: ["Jane Street Group, LLC"]
4homepage: "https://github.com/janestreet/krb"
5bug-reports: "https://github.com/janestreet/krb/issues"
6dev-repo: "git+https://github.com/janestreet/krb.git"
7doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/krb/index.html"
8license: "MIT"
9build: [
10 ["dune" "build" "-p" name "-j" jobs]
11]
12depexts: [
13 ["libkrb5-dev"] {os-family = "debian"}
14 ["krb5-devel"] {os-family = "fedora" | os-family = "suse" | os-family = "opensuse"}
15]
16depends: [
17 "ocaml" {>= "4.08.0"}
18 "async" {>= "v0.15" & < "v0.16"}
19 "base" {>= "v0.15" & < "v0.16"}
20 "core" {>= "v0.15" & < "v0.16"}
21 "env_config" {>= "v0.15" & < "v0.16"}
22 "hex_encode" {>= "v0.15" & < "v0.16"}
23 "ppx_jane" {>= "v0.15" & < "v0.16"}
24 "protocol_version_header" {>= "v0.15" & < "v0.16"}
25 "stdio" {>= "v0.15" & < "v0.16"}
26 "username_kernel" {>= "v0.15" & < "v0.16"}
27 "dune" {>= "2.0.0"}
28 "dune-configurator"
29]
30synopsis: "A library for using Kerberos for both Rpc and Tcp communication"
31description: "
32Jane Street's library for Kerberizing RPC connections so that
33 - the server gets an authenticated principal (i.e. username) with
34 every incoming connection, and
35 - RPC communication may be encrypted, if necessary.
36"
37url {
38src: "https://ocaml.janestreet.com/ocaml-core/v0.15/files/krb-v0.15.0.tar.gz"
39checksum: "sha256=d0b4b946f4e53dff9091d2d02a235e861ab5ad9d64638b17ba1834dedfb4f53d"
40}