diff --git a/repo/darwin/packages/dev/charrua-client-lwt.dev/url b/repo/darwin/packages/dev/charrua-client-lwt.dev/url deleted file mode 100644 index dc4e37317..000000000 --- a/repo/darwin/packages/dev/charrua-client-lwt.dev/url +++ /dev/null @@ -1 +0,0 @@ -git: "https://github.com/mirage/charrua-core.git" diff --git a/repo/darwin/packages/dev/charrua-client-mirage.dev/url b/repo/darwin/packages/dev/charrua-client-mirage.dev/url deleted file mode 100644 index dc4e37317..000000000 --- a/repo/darwin/packages/dev/charrua-client-mirage.dev/url +++ /dev/null @@ -1 +0,0 @@ -git: "https://github.com/mirage/charrua-core.git" diff --git a/repo/darwin/packages/dev/charrua-client.dev/descr b/repo/darwin/packages/dev/charrua-client.dev/descr deleted file mode 100644 index d0f9941bc..000000000 --- a/repo/darwin/packages/dev/charrua-client.dev/descr +++ /dev/null @@ -1 +0,0 @@ -Library using charrua-core to provide a DHCP-configured IPv4 implementation. diff --git a/repo/darwin/packages/dev/charrua-client.dev/url b/repo/darwin/packages/dev/charrua-client.dev/url deleted file mode 100644 index dc4e37317..000000000 --- a/repo/darwin/packages/dev/charrua-client.dev/url +++ /dev/null @@ -1 +0,0 @@ -git: "https://github.com/mirage/charrua-core.git" diff --git a/repo/darwin/packages/dev/charrua-core.dev/url b/repo/darwin/packages/dev/charrua-core.dev/url deleted file mode 100644 index dc4e37317..000000000 --- a/repo/darwin/packages/dev/charrua-core.dev/url +++ /dev/null @@ -1 +0,0 @@ -git: "https://github.com/mirage/charrua-core.git" diff --git a/repo/darwin/packages/upstream/charrua-client-lwt.0.9/descr b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/darwin/packages/dev/charrua-client-lwt.dev/opam b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/opam similarity index 90% rename from repo/darwin/packages/dev/charrua-client-lwt.dev/opam rename to repo/darwin/packages/upstream/charrua-client-lwt.0.9/opam index 8be827038..b2eb1a465 100644 --- a/repo/darwin/packages/dev/charrua-client-lwt.dev/opam +++ b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/opam @@ -19,18 +19,18 @@ depends: [ "jbuilder" {>="1.0+beta9"} "ounit" {test} "alcotest" {test} - "charrua-core" {>= "0.4"} - "charrua-client" + "charrua-core" {>= "0.9"} + "charrua-client" {>= "0.9"} "cstruct" {>="3.0.2"} "ipaddr" "rresult" "mirage-random" {>= "1.0.0"} "duration" + "mirage-time-lwt" "logs" - "tcpip" {>= "3.0.0"} + "tcpip" {>= "3.2.0"} "fmt" "lwt" "mirage-types-lwt" {>="3.0.0"} - "mirage-time-lwt" ] available: [ocaml-version >= "4.03.0"] diff --git a/repo/darwin/packages/upstream/charrua-client-lwt.0.9/url b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client-lwt.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/darwin/packages/upstream/charrua-client-mirage.0.9/descr b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/darwin/packages/dev/charrua-client-mirage.dev/opam b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/opam similarity index 87% rename from repo/darwin/packages/dev/charrua-client-mirage.dev/opam rename to repo/darwin/packages/upstream/charrua-client-mirage.0.9/opam index d516e9cfa..1ff2f9b7e 100644 --- a/repo/darwin/packages/dev/charrua-client-mirage.dev/opam +++ b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/opam @@ -19,16 +19,16 @@ depends: [ "jbuilder" {>="1.0+beta9"} "ounit" {test} "alcotest" {test} - "charrua-core" {>= "0.4"} - "charrua-client-lwt" - "charrua-client" + "charrua-core" {>= "0.9"} + "charrua-client-lwt" {>= "0.9"} + "charrua-client" {>= "0.9"} "cstruct" {>="3.0.2"} "ipaddr" "rresult" "mirage-random" {>= "1.0.0"} "duration" "logs" - "tcpip" {>= "3.0.0"} + "tcpip" {>= "3.2.0"} "fmt" "lwt" "mirage-types-lwt" {>="3.0.0"} diff --git a/repo/darwin/packages/upstream/charrua-client-mirage.0.9/url b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client-mirage.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/darwin/packages/upstream/charrua-client.0.9/descr b/repo/darwin/packages/upstream/charrua-client.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/darwin/packages/dev/charrua-client.dev/opam b/repo/darwin/packages/upstream/charrua-client.0.9/opam similarity index 96% rename from repo/darwin/packages/dev/charrua-client.dev/opam rename to repo/darwin/packages/upstream/charrua-client.0.9/opam index 777a593a9..b01ac08d8 100644 --- a/repo/darwin/packages/dev/charrua-client.dev/opam +++ b/repo/darwin/packages/upstream/charrua-client.0.9/opam @@ -21,7 +21,7 @@ depends: [ "jbuilder" {>="1.0+beta9"} "ounit" {test} "alcotest" {test} - "charrua-core" {>= "0.8"} + "charrua-core" {>= "0.9"} "cstruct" {>="3.0.2"} "ipaddr" ] diff --git a/repo/darwin/packages/upstream/charrua-client.0.9/url b/repo/darwin/packages/upstream/charrua-client.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-client.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/darwin/packages/upstream/charrua-core.0.9/descr b/repo/darwin/packages/upstream/charrua-core.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-core.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/darwin/packages/dev/charrua-core.dev/opam b/repo/darwin/packages/upstream/charrua-core.0.9/opam similarity index 96% rename from repo/darwin/packages/dev/charrua-core.dev/opam rename to repo/darwin/packages/upstream/charrua-core.0.9/opam index fd5af259a..16a6b58fd 100644 --- a/repo/darwin/packages/dev/charrua-core.dev/opam +++ b/repo/darwin/packages/upstream/charrua-core.0.9/opam @@ -27,7 +27,7 @@ depends: [ "cstruct" {>= "3.0.1"} "sexplib" "ipaddr" {>= "2.5.0"} - "tcpip" {>= "3.1.0"} + "tcpip" {>= "3.2.0"} "rresult" "io-page-unix" {test} "cstruct-unix" {test} diff --git a/repo/darwin/packages/upstream/charrua-core.0.9/url b/repo/darwin/packages/upstream/charrua-core.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/darwin/packages/upstream/charrua-core.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/darwin/packages/upstream/cmdliner.1.0.0/descr b/repo/darwin/packages/upstream/cmdliner.1.0.2/descr similarity index 100% rename from repo/darwin/packages/upstream/cmdliner.1.0.0/descr rename to repo/darwin/packages/upstream/cmdliner.1.0.2/descr diff --git a/repo/darwin/packages/upstream/cmdliner.1.0.0/opam b/repo/darwin/packages/upstream/cmdliner.1.0.2/opam similarity index 100% rename from repo/darwin/packages/upstream/cmdliner.1.0.0/opam rename to repo/darwin/packages/upstream/cmdliner.1.0.2/opam diff --git a/repo/darwin/packages/upstream/cmdliner.1.0.0/url b/repo/darwin/packages/upstream/cmdliner.1.0.2/url similarity index 52% rename from repo/darwin/packages/upstream/cmdliner.1.0.0/url rename to repo/darwin/packages/upstream/cmdliner.1.0.2/url index 42d0e4768..ca63483a5 100644 --- a/repo/darwin/packages/upstream/cmdliner.1.0.0/url +++ b/repo/darwin/packages/upstream/cmdliner.1.0.2/url @@ -1,2 +1,2 @@ -archive: "http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.0.tbz" -checksum: "6baa375f393fbe9ca1fcb0a7a875e001" \ No newline at end of file +archive: "http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.2.tbz" +checksum: "ab2f0130e88e8dcd723ac6154c98a881" \ No newline at end of file diff --git a/repo/darwin/packages/upstream/dns-forward.0.9.0/opam b/repo/darwin/packages/upstream/dns-forward.0.9.0/opam index 4a06cfff7..057a895fc 100644 --- a/repo/darwin/packages/upstream/dns-forward.0.9.0/opam +++ b/repo/darwin/packages/upstream/dns-forward.0.9.0/opam @@ -15,6 +15,7 @@ build-test: ["jbuilder" "runtest" "-p" name] depends: [ "jbuilder" {build & >= "1.0+beta10"} + "ppx_sexp_conv" {build} "cstruct" {>= "3.0.0"} "logs" {>= "0.5.0"} "lwt" {>= "2.7.0"} diff --git a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/url b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/url deleted file mode 100644 index 15d648c3f..000000000 --- a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/url +++ /dev/null @@ -1,2 +0,0 @@ -http: "https://github.com/mirage/mirage/archive/v3.0.0.tar.gz" -checksum: "744cb89c1b35a6d0dadc95ec4ce058c4" diff --git a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/descr b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/descr similarity index 100% rename from repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/descr rename to repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/descr diff --git a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/opam b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/opam similarity index 82% rename from repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/opam rename to repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/opam index ff603a6c3..4e474cc1b 100644 --- a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.0/opam +++ b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/opam @@ -6,11 +6,14 @@ bug-reports: "https://github.com/mirage/mirage/issues/" dev-repo: "https://github.com/mirage/mirage.git" tags: ["org:mirage" "org:xapi-project"] -build: ["ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--pinned" "%{pinned}%"] -depends: [ - "ocamlfind" {build} - "ocamlbuild" {build} - "topkg" {build & >= "0.8.0"} + +build: [ + ["jbuilder" "subst"]{pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] + +depends: [ + "jbuilder" {build & >= "1.0+beta10"} "lwt" "cstruct" {>="1.4.0"} "io-page" {>="1.4.0"} diff --git a/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/url b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/url new file mode 100644 index 000000000..e396e7e63 --- /dev/null +++ b/repo/darwin/packages/upstream/mirage-types-lwt.3.0.5/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage/releases/download/3.0.5/mirage-3.0.5.tbz" +checksum: "ed9854a99c77aee3bdcdf0915905fd46" diff --git a/repo/darwin/packages/upstream/mirage-types.3.0.0/url b/repo/darwin/packages/upstream/mirage-types.3.0.0/url deleted file mode 100644 index 15d648c3f..000000000 --- a/repo/darwin/packages/upstream/mirage-types.3.0.0/url +++ /dev/null @@ -1,2 +0,0 @@ -http: "https://github.com/mirage/mirage/archive/v3.0.0.tar.gz" -checksum: "744cb89c1b35a6d0dadc95ec4ce058c4" diff --git a/repo/darwin/packages/upstream/mirage-types.3.0.0/descr b/repo/darwin/packages/upstream/mirage-types.3.0.5/descr similarity index 100% rename from repo/darwin/packages/upstream/mirage-types.3.0.0/descr rename to repo/darwin/packages/upstream/mirage-types.3.0.5/descr diff --git a/repo/darwin/packages/upstream/mirage-types.3.0.0/opam b/repo/darwin/packages/upstream/mirage-types.3.0.5/opam similarity index 85% rename from repo/darwin/packages/upstream/mirage-types.3.0.0/opam rename to repo/darwin/packages/upstream/mirage-types.3.0.5/opam index 7948298b1..320ce0d74 100644 --- a/repo/darwin/packages/upstream/mirage-types.3.0.0/opam +++ b/repo/darwin/packages/upstream/mirage-types.3.0.5/opam @@ -7,11 +7,15 @@ homepage: "https://mirage.io/" bug-reports: "https://github.com/mirage/mirage/issues/" dev-repo: "https://github.com/mirage/mirage.git" tags: ["org:mirage" "org:xapi-project"] -build: ["ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--pinned" "%{pinned}%"] + + +build: [ + ["jbuilder" "subst"]{pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] + depends: [ - "ocamlbuild" {build} - "ocamlfind" {build} - "topkg" {build & >= "0.8.0"} + "jbuilder" {build & >= "1.0+beta10"} "mirage-device" {>= "1.0.0"} "mirage-time" {>= "1.0.0"} "mirage-clock" {>= "1.2.0"} diff --git a/repo/darwin/packages/upstream/mirage-types.3.0.5/url b/repo/darwin/packages/upstream/mirage-types.3.0.5/url new file mode 100644 index 000000000..e396e7e63 --- /dev/null +++ b/repo/darwin/packages/upstream/mirage-types.3.0.5/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage/releases/download/3.0.5/mirage-3.0.5.tbz" +checksum: "ed9854a99c77aee3bdcdf0915905fd46" diff --git a/repo/darwin/packages/upstream/stringext.1.4.3/descr b/repo/darwin/packages/upstream/stringext.1.4.3/descr deleted file mode 100644 index dac5f0504..000000000 --- a/repo/darwin/packages/upstream/stringext.1.4.3/descr +++ /dev/null @@ -1,5 +0,0 @@ -Extra string functions for OCaml - -Provides a single module named Stringext that provides a grab bag of often used -but missing string functions from the stdlib. E.g, split, full_split, cut, -rcut, etc. \ No newline at end of file diff --git a/repo/darwin/packages/upstream/stringext.1.4.3/opam b/repo/darwin/packages/upstream/stringext.1.4.3/opam deleted file mode 100644 index ed5515f58..000000000 --- a/repo/darwin/packages/upstream/stringext.1.4.3/opam +++ /dev/null @@ -1,34 +0,0 @@ -opam-version: "1.2" -maintainer: "rudi.grinberg@gmail.com" -authors: "Rudi Grinberg" -homepage: "https://github.com/rgrinberg/stringext" -bug-reports: "https://github.com/rgrinberg/stringext/issues" -license: "MIT" -dev-repo: "https://github.com/rgrinberg/stringext.git" - -build: [ - ["ocaml" "setup.ml" "-configure"] - ["ocaml" "setup.ml" "-build"] -] - -build-test: [ - ["ocaml" "setup.ml" "-configure" "--enable-tests"] - ["ocaml" "setup.ml" "-build"] - ["ocaml" "setup.ml" "-test"] -] - -build-doc: ["ocaml" "setup.ml" "-doc"] - -install: ["ocaml" "setup.ml" "-install"] - -remove: ["ocamlfind" "remove" "stringext"] - -depends: [ - "ocamlfind" {build} - "ocamlbuild" {build} - "ounit" {test} - "qtest" {test & >="2.2"} - "base-bytes" -] - -available: [ocaml-version >= "4.00.0"] diff --git a/repo/darwin/packages/upstream/stringext.1.4.3/url b/repo/darwin/packages/upstream/stringext.1.4.3/url deleted file mode 100644 index 4eb854778..000000000 --- a/repo/darwin/packages/upstream/stringext.1.4.3/url +++ /dev/null @@ -1,2 +0,0 @@ -http: "https://github.com/rgrinberg/stringext/archive/v1.4.3.tar.gz" -checksum: "ab9796add8e391b5a405ef392de1c5d3" diff --git a/repo/darwin/packages/upstream/stringext.1.5.0/descr b/repo/darwin/packages/upstream/stringext.1.5.0/descr new file mode 100644 index 000000000..2b046861d --- /dev/null +++ b/repo/darwin/packages/upstream/stringext.1.5.0/descr @@ -0,0 +1,4 @@ +Extra string functions for OCaml + +Extra string functions for OCaml. Mainly splitting. All functions are in the +`Stringext` module. \ No newline at end of file diff --git a/repo/darwin/packages/upstream/stringext.1.5.0/opam b/repo/darwin/packages/upstream/stringext.1.5.0/opam new file mode 100644 index 000000000..8f7067eaa --- /dev/null +++ b/repo/darwin/packages/upstream/stringext.1.5.0/opam @@ -0,0 +1,22 @@ +opam-version: "1.2" +maintainer: "rudi.grinberg@gmail.com" +authors: "Rudi Grinberg" +homepage: "https://github.com/rgrinberg/stringext" +bug-reports: "https://github.com/rgrinberg/stringext/issues" +license: "MIT" +dev-repo: "https://github.com/rgrinberg/stringext.git" + +build: [ + ["jbuilder" "subst" "-n" name] {pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] +build-test: [["jbuilder" "runtest" "-p" name "-j" jobs]] + +depends: [ + "jbuilder" {build & >= "1.0+beta10"} + "ounit" {test} + "qtest" {test & >="2.2"} + "base-bytes" +] + +available: [ocaml-version >= "4.02.3"] diff --git a/repo/darwin/packages/upstream/stringext.1.5.0/url b/repo/darwin/packages/upstream/stringext.1.5.0/url new file mode 100644 index 000000000..a24493382 --- /dev/null +++ b/repo/darwin/packages/upstream/stringext.1.5.0/url @@ -0,0 +1,2 @@ +archive: "https://github.com/rgrinberg/stringext/archive/1.5.0.zip" +checksum: "867263ea97532f150516677fa994cdf2" \ No newline at end of file diff --git a/repo/win32/packages/dev/charrua-client-lwt.dev b/repo/win32/packages/dev/charrua-client-lwt.dev deleted file mode 120000 index fcde8998f..000000000 --- a/repo/win32/packages/dev/charrua-client-lwt.dev +++ /dev/null @@ -1 +0,0 @@ -../../../darwin/packages/dev/charrua-client-lwt.dev \ No newline at end of file diff --git a/repo/win32/packages/dev/charrua-client-mirage.dev b/repo/win32/packages/dev/charrua-client-mirage.dev deleted file mode 120000 index 41bbbe24c..000000000 --- a/repo/win32/packages/dev/charrua-client-mirage.dev +++ /dev/null @@ -1 +0,0 @@ -../../../darwin/packages/dev/charrua-client-mirage.dev \ No newline at end of file diff --git a/repo/win32/packages/dev/charrua-client.dev b/repo/win32/packages/dev/charrua-client.dev deleted file mode 120000 index 84447e9fd..000000000 --- a/repo/win32/packages/dev/charrua-client.dev +++ /dev/null @@ -1 +0,0 @@ -../../../darwin/packages/dev/charrua-client.dev \ No newline at end of file diff --git a/repo/win32/packages/dev/charrua-core.dev b/repo/win32/packages/dev/charrua-core.dev deleted file mode 120000 index f9d6cbdb9..000000000 --- a/repo/win32/packages/dev/charrua-core.dev +++ /dev/null @@ -1 +0,0 @@ -../../../darwin/packages/dev/charrua-core.dev \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client-lwt.0.9/descr b/repo/win32/packages/upstream/charrua-client-lwt.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-lwt.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client-lwt.0.9/opam b/repo/win32/packages/upstream/charrua-client-lwt.0.9/opam new file mode 100644 index 000000000..b2eb1a465 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-lwt.0.9/opam @@ -0,0 +1,36 @@ +opam-version: "1.2" +name: "charrua-client-lwt" +maintainer: ["Mindy Preston"] +authors : ["Mindy Preston"] +homepage: "https://github.com/mirage/charrua-core" +bug-reports: "https://github.com/mirage/charrua-core/issues" +dev-repo: "https://github.com/mirage/charrua-core.git" +tags: [ "org:mirage"] +doc: "https://docs.mirage.io" + +build: [ + ["jbuilder" "subst" "-n" name] {pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] + +build-test: ["jbuilder" "runtest" "-p" name "-j" jobs] + +depends: [ + "jbuilder" {>="1.0+beta9"} + "ounit" {test} + "alcotest" {test} + "charrua-core" {>= "0.9"} + "charrua-client" {>= "0.9"} + "cstruct" {>="3.0.2"} + "ipaddr" + "rresult" + "mirage-random" {>= "1.0.0"} + "duration" + "mirage-time-lwt" + "logs" + "tcpip" {>= "3.2.0"} + "fmt" + "lwt" + "mirage-types-lwt" {>="3.0.0"} +] +available: [ocaml-version >= "4.03.0"] diff --git a/repo/win32/packages/upstream/charrua-client-lwt.0.9/url b/repo/win32/packages/upstream/charrua-client-lwt.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-lwt.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client-mirage.0.9/descr b/repo/win32/packages/upstream/charrua-client-mirage.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-mirage.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client-mirage.0.9/opam b/repo/win32/packages/upstream/charrua-client-mirage.0.9/opam new file mode 100644 index 000000000..1ff2f9b7e --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-mirage.0.9/opam @@ -0,0 +1,36 @@ +opam-version: "1.2" +name: "charrua-client-mirage" +maintainer: ["Mindy Preston"] +authors : ["Mindy Preston"] +homepage: "https://github.com/mirage/charrua-core" +bug-reports: "https://github.com/mirage/charrua-core/issues" +dev-repo: "https://github.com/mirage/charrua-core.git" +tags: [ "org:mirage"] +doc: "https://docs.mirage.io" + +build: [ + ["jbuilder" "subst" "-n" name] {pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] + +build-test: ["jbuilder" "runtest" "-p" name "-j" jobs] + +depends: [ + "jbuilder" {>="1.0+beta9"} + "ounit" {test} + "alcotest" {test} + "charrua-core" {>= "0.9"} + "charrua-client-lwt" {>= "0.9"} + "charrua-client" {>= "0.9"} + "cstruct" {>="3.0.2"} + "ipaddr" + "rresult" + "mirage-random" {>= "1.0.0"} + "duration" + "logs" + "tcpip" {>= "3.2.0"} + "fmt" + "lwt" + "mirage-types-lwt" {>="3.0.0"} +] +available: [ocaml-version >= "4.03.0"] diff --git a/repo/win32/packages/upstream/charrua-client-mirage.0.9/url b/repo/win32/packages/upstream/charrua-client-mirage.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client-mirage.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client.0.9/descr b/repo/win32/packages/upstream/charrua-client.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-client.0.9/opam b/repo/win32/packages/upstream/charrua-client.0.9/opam new file mode 100644 index 000000000..b01ac08d8 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client.0.9/opam @@ -0,0 +1,28 @@ +opam-version: "1.2" +name: "charrua-client" +maintainer: ["Mindy Preston"] +authors : ["Mindy Preston"] +homepage: "https://github.com/mirage/charrua-core" +bug-reports: "https://github.com/mirage/charrua-core/issues" +dev-repo: "https://github.com/mirage/charrua-core.git" +tags: [ "org:mirage"] +doc: "https://docs.mirage.io" + +build: [ + [ "jbuilder" "subst" "-n" name ] {pinned} + [ "jbuilder" "build" "-p" name "-j" jobs ] +] + +build-test: [ + [ "jbuilder" "runtest" "-p" name "-j" jobs ] +] + +depends: [ + "jbuilder" {>="1.0+beta9"} + "ounit" {test} + "alcotest" {test} + "charrua-core" {>= "0.9"} + "cstruct" {>="3.0.2"} + "ipaddr" +] +available: [ocaml-version >= "4.03.0"] diff --git a/repo/win32/packages/upstream/charrua-client.0.9/url b/repo/win32/packages/upstream/charrua-client.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-client.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-core.0.9/descr b/repo/win32/packages/upstream/charrua-core.0.9/descr new file mode 100644 index 000000000..88a12f86e --- /dev/null +++ b/repo/win32/packages/upstream/charrua-core.0.9/descr @@ -0,0 +1,75 @@ +DHCP - a DHCP client, server and wire frame encoder and decoder + + +[![docs](https://img.shields.io/badge/doc-online-blue.svg)](http://mirage.github.io/charrua-dhcp/api) +[![Build Status](https://travis-ci.org/mirage/charrua-core.svg)](https://travis-ci.org/mirage/charrua-dhcp) + +[charrua](http://www.github.com/mirage/charrua-dhcp) is an +_ISC-licensed_ DHCP library implementation in OCaml. +It provides three packages: + +- charrua-core: a library that handles wire traffic parsing and a server implementation +- charrua-client: a library for handling DHCP client state and messages +- charrua-client-lwt: a DHCP client library with timeouts and network read/write +- charrua-client-mirage: a MirageOS-compatible set of interfaces to charrua-client-lwt +- charrua-unix: a Unix DHCP server implementation + +### Charrua-core + +Charrua-core consists of two modules, a `Dhcp_wire` responsible for parsing and +constructing DHCP messages and a `Dhcp_server` module used for constructing DHCP +servers. + +You can browse the API for [charrua-core](http://www.github.com/mirage/charrua-core) at +http://mirage.github.io/charrua-core/api + +[mirage](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp) +is a Mirage DHCP unikernel server based on charrua-core. + +#### 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. +* `Dhcp_wire` provides marshalling and unmarshalling utilities for DHCP, it is the + base for `Dhcp_server`. +* 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. + +### Charrua-client + +charrua-client is a DHCP client powered by [charrua-core](https://github.com/haesbaert/charrua-core). + +The base library exposes a simple state machine in `Dhcp_client` +for use in acquiring a DHCP lease. + +`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. + +`charrua-client-mirage` exposes an additional `Dhcp_client_mirage` for direct use +with the [MirageOS library operating system](https://github.com/mirage/mirage). + +### Charrua-unix Server + +charrua-unix is an _ISC-licensed_ Unix DHCP daemon based on +[charrua-dhcp](http://www.github.com/mirage/charrua-dhcp). + +#### Features + +* Supports a stripped down ISC dhcpd.conf. A configuration sample can be found +[here](https://github.com/haesbaert/charrua-core/blob/master/sample/dhcpd.conf) +* Priviledge dropping, the daemon doesn't run as root. +* Almost purely-functional code. +* Support for multiple interfaces/subnets. + +Try `charruad --help` for options. + +This project became one of the [Mirage Pioneer](https://github.com/mirage/mirage-www/wiki/Pioneer-Projects) +projects. \ No newline at end of file diff --git a/repo/win32/packages/upstream/charrua-core.0.9/opam b/repo/win32/packages/upstream/charrua-core.0.9/opam new file mode 100644 index 000000000..16a6b58fd --- /dev/null +++ b/repo/win32/packages/upstream/charrua-core.0.9/opam @@ -0,0 +1,34 @@ +opam-version: "1.2" +name: "charrua-core" +maintainer: "Christiano F. Haesbaert " +authors: "Christiano F. Haesbaert " +license: "ISC" +homepage: "https://github.com/mirage/charrua-core" +bug-reports: "https://github.com/mirage/charrua-core/issues" +dev-repo: "https://github.com/mirage/charrua-core.git" +doc: "https://mirage.github.io/charrua-core/api" + +available: [ocaml-version >= "4.03" & opam-version >= "1.2"] + +build: [ + ["jbuilder" "subst" "-n" name] {pinned} + ["jbuilder" "build" "-p" name "-j" jobs] +] + +build-test: [ + ["jbuilder" "runtest" "-p" name "-j" jobs] +] + +depends: [ + "jbuilder" {build & >="1.0+beta7"} + "ppx_sexp_conv" {build} + "ppx_cstruct" {build} + "menhir" {build} + "cstruct" {>= "3.0.1"} + "sexplib" + "ipaddr" {>= "2.5.0"} + "tcpip" {>= "3.2.0"} + "rresult" + "io-page-unix" {test} + "cstruct-unix" {test} +] diff --git a/repo/win32/packages/upstream/charrua-core.0.9/url b/repo/win32/packages/upstream/charrua-core.0.9/url new file mode 100644 index 000000000..71e3c8808 --- /dev/null +++ b/repo/win32/packages/upstream/charrua-core.0.9/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/charrua-core/releases/download/v0.9/charrua-core-0.9.tbz" +checksum: "015e5795d03f9a57deff04c424027efd" \ No newline at end of file diff --git a/repo/win32/packages/upstream/cmdliner.1.0.0/descr b/repo/win32/packages/upstream/cmdliner.1.0.2/descr similarity index 100% rename from repo/win32/packages/upstream/cmdliner.1.0.0/descr rename to repo/win32/packages/upstream/cmdliner.1.0.2/descr diff --git a/repo/win32/packages/upstream/cmdliner.1.0.0/opam b/repo/win32/packages/upstream/cmdliner.1.0.2/opam similarity index 100% rename from repo/win32/packages/upstream/cmdliner.1.0.0/opam rename to repo/win32/packages/upstream/cmdliner.1.0.2/opam diff --git a/repo/win32/packages/upstream/cmdliner.1.0.0/url b/repo/win32/packages/upstream/cmdliner.1.0.2/url similarity index 52% rename from repo/win32/packages/upstream/cmdliner.1.0.0/url rename to repo/win32/packages/upstream/cmdliner.1.0.2/url index 42d0e4768..ca63483a5 100644 --- a/repo/win32/packages/upstream/cmdliner.1.0.0/url +++ b/repo/win32/packages/upstream/cmdliner.1.0.2/url @@ -1,2 +1,2 @@ -archive: "http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.0.tbz" -checksum: "6baa375f393fbe9ca1fcb0a7a875e001" \ No newline at end of file +archive: "http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.2.tbz" +checksum: "ab2f0130e88e8dcd723ac6154c98a881" \ No newline at end of file diff --git a/repo/win32/packages/upstream/prometheus.0.3/url b/repo/win32/packages/upstream/prometheus.0.3/url deleted file mode 100644 index cce5118b0..000000000 --- a/repo/win32/packages/upstream/prometheus.0.3/url +++ /dev/null @@ -1,2 +0,0 @@ -archive: "https://github.com/mirage/prometheus/releases/download/v0.3/prometheus-0.3.tbz" -checksum: "dcf7cf2cb603d350bfa401ac82c8bff1" \ No newline at end of file diff --git a/repo/win32/packages/upstream/prometheus.0.3/descr b/repo/win32/packages/upstream/prometheus.0.4/descr similarity index 100% rename from repo/win32/packages/upstream/prometheus.0.3/descr rename to repo/win32/packages/upstream/prometheus.0.4/descr diff --git a/repo/win32/packages/upstream/prometheus.0.3/opam b/repo/win32/packages/upstream/prometheus.0.4/opam similarity index 100% rename from repo/win32/packages/upstream/prometheus.0.3/opam rename to repo/win32/packages/upstream/prometheus.0.4/opam diff --git a/repo/win32/packages/upstream/prometheus.0.4/url b/repo/win32/packages/upstream/prometheus.0.4/url new file mode 100644 index 000000000..f9d8e3453 --- /dev/null +++ b/repo/win32/packages/upstream/prometheus.0.4/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/prometheus/releases/download/v0.4/prometheus-0.4.tbz" +checksum: "c29ace053a914b5eac5487185af3e050" diff --git a/vpnkit.opam b/vpnkit.opam index 3fe2eedec..5228e6336 100644 --- a/vpnkit.opam +++ b/vpnkit.opam @@ -35,7 +35,7 @@ depends: [ "ipaddr" "lwt" {>= "2.7.0"} "uwt" {>= "0.0.4"} - "tcpip" {>= "3.1.4"} + "tcpip" {>= "3.3.0"} "dns" {>= "0.19.1"} "dns-lwt" "dnssd" {>= "0.2"} @@ -46,7 +46,7 @@ depends: [ "hashcons" {>= "1.0.1"} "pcap-format" {>= "0.4.0"} "cmdliner" - "charrua-core" {>= "0.3"} + "charrua-core" {>= "0.9"} "charrua-client-mirage" {test} "named-pipe" {>= "0.4.0"} "hvsock" {>= "0.13.0"}