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