this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christiano F. Haesbaert <haesbaert@haesbaert.org>"
3authors: "Christiano F. Haesbaert <haesbaert@haesbaert.org>"
4license: "ISC"
5homepage: "https://github.com/mirage/charrua"
6bug-reports: "https://github.com/mirage/charrua/issues"
7dev-repo: "git+https://github.com/mirage/charrua.git"
8doc: "https://mirage.github.io/charrua/"
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.06.0"}
18 "dune" {>= "1.4.0"}
19 "ppx_sexp_conv" {>= "v0.9.0"}
20 "menhir" {build}
21 "charrua" {= version}
22 "cstruct" {>= "3.0.1"}
23 "sexplib"
24 "ipaddr" {>= "4.0.0" & < "5.0.0"}
25 "macaddr" {>= "4.0.0"}
26 "ipaddr-sexp"
27 "macaddr-sexp"
28 "cstruct-unix" {with-test}
29]
30synopsis: "DHCP server"
31description: """
32Charrua-server consists of a single `Dhcp_server` module used for constructing DHCP
33servers.
34
35[dhcp](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp)
36is a Mirage DHCP unikernel server based on charrua, included as a part of the MirageOS unikernel example and starting-point repository.
37
38#### Features
39
40* `Dhcp_server` supports a stripped down ISC dhcpd.conf, so you can probably just
41 use your old `dhcpd.conf`. It also supports manual configuration building in
42 OCaml.
43* Logic/sequencing is agnostic of IO and platform, so it can run on Unix as a
44 process, as a Mirage unikernel or anything else.
45* All DHCP options are supported at the time of this writing.
46* Code is purely applicative.
47* It's in OCaml, so it's pretty cool.
48
49The name `charrua` is a reference to the, now extinct, semi-nomadic people of
50southern South America.
51"""
52url {
53 src:
54 "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz"
55 checksum: [
56 "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed"
57 "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79"
58 ]
59}