-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #16411 from samoht/release-charrua-1.2.1
[new release] charrua-client, charrua-client-lwt, charrua-client-mirage, charrua-unix, charrua and charrua-server (1.2.1)
- Loading branch information
Showing
6 changed files
with
281 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,46 @@ | ||
| opam-version: "2.0" | ||
| maintainer: ["Mindy Preston"] | ||
| authors : ["Mindy Preston"] | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| tags: [ "org:mirage"] | ||
| doc: "https://mirage.github.io/charrua/" | ||
|
|
||
| build: [ | ||
| ["dune" "subst"] {pinned} | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ["dune" "runtest" "-p" name "-j" jobs] {with-test} | ||
| ] | ||
|
|
||
| depends: [ | ||
| "dune" {>= "1.4.0"} | ||
| "ocaml" {>= "4.06.0"} | ||
| "alcotest" {with-test} | ||
| "cstruct-unix" {with-test} | ||
| "charrua" {= version} | ||
| "charrua-client" {= version} | ||
| "cstruct" {>="3.0.2"} | ||
| "ipaddr" {>="4.0.0"} | ||
| "mirage-random" {>= "2.0.0"} | ||
| "duration" | ||
| "mirage-time" {>= "2.0.0"} | ||
| "mirage-net" {>= "3.0.0"} | ||
| "logs" | ||
| "fmt" | ||
| "lwt" {>= "4.0.0"} | ||
| ] | ||
| synopsis: "A DHCP client using lwt as effectful layer" | ||
| description: """ | ||
| `charrua-client-lwt` extends `charrua-client` with a functor `Dhcp_client_lwt`, | ||
| using the provided modules for timing and networking logic, | ||
| for convenient use by a program which might wish to implement a full client. | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |
40 changes: 40 additions & 0 deletions
40
packages/charrua-client-mirage/charrua-client-mirage.1.2.1/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,40 @@ | ||
| opam-version: "2.0" | ||
| maintainer: ["Mindy Preston"] | ||
| authors : ["Mindy Preston"] | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| tags: [ "org:mirage"] | ||
| doc: "https://docs.mirage.io" | ||
|
|
||
| build: [ | ||
| ["dune" "subst"] {pinned} | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ] | ||
|
|
||
| depends: [ | ||
| "dune" {>= "1.4.0"} | ||
| "ocaml" {>= "4.06.0"} | ||
| "charrua-client-lwt" {= version} | ||
| "ipaddr" {>= "4.0.0"} | ||
| "mirage-random" {>= "2.0.0"} | ||
| "mirage-clock" {>= "3.0.0"} | ||
| "mirage-time" {>= "2.0.0"} | ||
| "mirage-net" {>= "3.0.0"} | ||
| "mirage-protocols" {>= "4.0.0"} | ||
| "logs" | ||
| "lwt" {>= "4.0.0"} | ||
| ] | ||
| synopsis: "A DHCP client for MirageOS" | ||
| description: """ | ||
| `charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use | ||
| with the [MirageOS library operating system](https://github.com/mirage/mirage). | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| opam-version: "2.0" | ||
| maintainer: ["Mindy Preston"] | ||
| authors : ["Mindy Preston"] | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| tags: [ "org:mirage"] | ||
| doc: "https://docs.mirage.io" | ||
|
|
||
| build: [ | ||
| [ "dune" "subst" ] {pinned} | ||
| [ "dune" "build" "-p" name "-j" jobs ] | ||
| [ "dune" "runtest" "-p" name "-j" jobs ] {with-test} | ||
| ] | ||
|
|
||
| depends: [ | ||
| "dune" {>= "1.4.0"} | ||
| "ocaml" {>= "4.06.0"} | ||
| "alcotest" {with-test} | ||
| "cstruct-unix" {with-test} | ||
| "mirage-random-test" {with-test & >= "0.1.0"} | ||
| "charrua-server" {= version & with-test} | ||
| "charrua" {= version} | ||
| "cstruct" {>="3.0.2"} | ||
| "ipaddr" {>= "4.0.0"} | ||
| "macaddr" {>= "4.0.0"} | ||
| ] | ||
| synopsis: "DHCP client implementation" | ||
| description: """ | ||
| charrua-client is a DHCP client powered by [charrua](https://github.com/mirage/charrua). | ||
|
|
||
| The base library exposes a simple state machine in `Dhcp_client` | ||
| for use in acquiring a DHCP lease. | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,59 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| authors: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| license: "ISC" | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| doc: "https://mirage.github.io/charrua/" | ||
|
|
||
| build: [ | ||
| ["dune" "subst"] {pinned} | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ["dune" "runtest" "-p" name "-j" jobs] {with-test} | ||
| ] | ||
|
|
||
| depends: [ | ||
| "ocaml" {>= "4.06.0"} | ||
| "dune" {>= "1.4.0"} | ||
| "ppx_sexp_conv" {>= "v0.9.0"} | ||
| "menhir" {build} | ||
| "charrua" {= version} | ||
| "cstruct" {>= "3.0.1"} | ||
| "sexplib" | ||
| "ipaddr" {>= "4.0.0"} | ||
| "macaddr" {>= "4.0.0"} | ||
| "ipaddr-sexp" | ||
| "macaddr-sexp" | ||
| "cstruct-unix" {with-test} | ||
| ] | ||
| synopsis: "DHCP server" | ||
| description: """ | ||
| Charrua-server consists of a single `Dhcp_server` module used for constructing DHCP | ||
| servers. | ||
|
|
||
| [dhcp](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) | ||
| is a Mirage DHCP unikernel server based on charrua, included as a part of the MirageOS unikernel example and starting-point repository. | ||
|
|
||
| #### Features | ||
|
|
||
| * `Dhcp_server` supports a stripped down ISC dhcpd.conf, so you can probably just | ||
| use your old `dhcpd.conf`. It also supports manual configuration building in | ||
| OCaml. | ||
| * Logic/sequencing is agnostic of IO and platform, so it can run on Unix as a | ||
| process, as a Mirage unikernel or anything else. | ||
| * All DHCP options are supported at the time of this writing. | ||
| * Code is purely applicative. | ||
| * It's in OCaml, so it's pretty cool. | ||
|
|
||
| The name `charrua` is a reference to the, now extinct, semi-nomadic people of | ||
| southern South America. | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,37 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| authors: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| license: "ISC" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| build: [ | ||
| ["dune" "subst"] {pinned} | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ] | ||
| depends: [ | ||
| "dune" {>= "1.4.0"} | ||
| "ocaml" {>= "4.06.0"} | ||
| "lwt" {>="3.0.0"} | ||
| "lwt_log" | ||
| "charrua" {= version} | ||
| "charrua-server" {= version} | ||
| "cstruct-unix" | ||
| "cmdliner" | ||
| "rawlink" {>= "1.0"} | ||
| "tuntap" {>= "1.2.0"} | ||
| "mtime" {>="1.0.0"} | ||
| ] | ||
| synopsis: "Unix DHCP daemon" | ||
| description: """ | ||
| charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on | ||
| [charrua](http://www.github.com/mirage/charrua). | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,57 @@ | ||
| opam-version: "2.0" | ||
| maintainer: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| authors: "Christiano F. Haesbaert <haesbaert@haesbaert.org>" | ||
| license: "ISC" | ||
| homepage: "https://github.com/mirage/charrua" | ||
| bug-reports: "https://github.com/mirage/charrua/issues" | ||
| dev-repo: "git+https://github.com/mirage/charrua.git" | ||
| doc: "https://mirage.github.io/charrua/" | ||
|
|
||
| build: [ | ||
| ["dune" "subst"] {pinned} | ||
| ["dune" "build" "-p" name "-j" jobs] | ||
| ] | ||
|
|
||
| depends: [ | ||
| "ocaml" {>= "4.06.0"} | ||
| "dune" {>= "1.4.0"} | ||
| "ppx_sexp_conv" {>="v0.10.0"} | ||
| "ppx_cstruct" | ||
| "cstruct" {>= "3.0.1"} | ||
| "sexplib" | ||
| "ipaddr" {>= "4.0.0"} | ||
| "macaddr" {>= "4.0.0"} | ||
| "ipaddr-sexp" | ||
| "macaddr-sexp" | ||
| "ethernet" {>= "2.2.0"} | ||
| "tcpip" {>= "4.0.0"} | ||
| "rresult" | ||
| ] | ||
| synopsis: "DHCP wire frame encoder and decoder" | ||
| description: """ | ||
| Charrua consists a single modules, `Dhcp_wire` responsible for parsing and | ||
| constructing DHCP messages | ||
|
|
||
| You can browse the API for [charrua](http://www.github.com/mirage/charrua) at | ||
| https://mirage.github.io/charrua/ | ||
|
|
||
| #### Features | ||
|
|
||
| * `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP. | ||
| * Logic/sequencing is agnostic of IO and platform, so it can run on Unix as a | ||
| process, as a Mirage unikernel or anything else. | ||
| * All DHCP options are supported at the time of this writing. | ||
| * Code is purely applicative. | ||
| * It's in OCaml, so it's pretty cool. | ||
|
|
||
| The name `charrua` is a reference to the, now extinct, semi-nomadic people of | ||
| southern South America. | ||
| """ | ||
| url { | ||
| src: | ||
| "https://github.com/mirage/charrua/releases/download/v1.2.1/charrua-v1.2.1.tbz" | ||
| checksum: [ | ||
| "sha256=6c995afe52064abe012d06e850ada455b66e2c363d2ee093c4e4c8411b3a68ed" | ||
| "sha512=8e973b7aded4d6e9fb3c775b123c835c9f302af4ca990d20d7de49cdc8081a0ecc5252faeb6080732909fa1406f5b05048f8d1d039348f64db3c3440f6f55f79" | ||
| ] | ||
| } |