diff --git a/packages/albatross.1.3.0~pre/opam b/packages/albatross.1.3.0~pre/opam deleted file mode 100644 index 5c01784..0000000 --- a/packages/albatross.1.3.0~pre/opam +++ /dev/null @@ -1,62 +0,0 @@ -opam-version: "2.0" -maintainer: "Hannes Mehnert " -authors: ["Hannes Mehnert "] -homepage: "https://github.com/roburio/albatross" -dev-repo: "git+https://github.com/roburio/albatross.git" -bug-reports: "https://github.com/roburio/albatross/issues" -license: "ISC" - -depends: [ - "ocaml" {>= "4.10.0"} - "dune" - "dune-configurator" - "conf-pkg-config" {build} - "conf-libnl3" {os = "linux"} - "lwt" {>= "3.0.0"} - "ipaddr" {>= "4.0.0"} - "cstruct" {>= "6.0.0"} - "logs" - "rresult" - "bos" - "ptime" - "cmdliner" {>= "1.0.0"} - "fmt" - "astring" - "jsonm" - "x509" {>= "0.13.0"} - "tls" {>= "0.13.1"} - "mirage-crypto" - "mirage-crypto-rng" {>= "0.8.0"} - "asn1-combinators" {>= "0.2.0"} - "duration" - "decompress" {>= "1.3.0"} - "bigstringaf" {>= "0.2.0"} - "checkseum" - "metrics" {>= "0.2.0"} - "metrics-lwt" {>= "0.2.0"} - "metrics-influx" {>= "0.2.0"} - "metrics-rusage" - "hex" - "http-lwt-client" {>= "0.0.4"} - "happy-eyeballs-lwt" -] -build: [ - ["dune" "subst"] {dev} - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} - ["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"} - ["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"} -] -synopsis: "Albatross - orchestrate and manage MirageOS unikernels with Solo5" -description: """ -The goal of albatross is robust deployment of [MirageOS](https://mirage.io) -unikernels using [Solo5](https://github.com/solo5/solo5). Resources managed -by albatross are network interfaces of kind `tap`, which are connected to -already existing bridges, block devices, memory, and CPU. Each unikernel is -pinned (`cpuset` / `taskset`) to a specific core. -""" -depexts: ["linux-headers"] {os-distribution = "alpine"} -url { - src: "git+https://github.com/roburio/albatross.git" -} diff --git a/packages/builder.0.0.1~dev/opam b/packages/builder.0.0.1~dev/opam deleted file mode 100644 index 613e210..0000000 --- a/packages/builder.0.0.1~dev/opam +++ /dev/null @@ -1,38 +0,0 @@ -opam-version: "2.0" -maintainer: "Hannes Mehnert " -authors: ["Hannes Mehnert "] -homepage: "https://github.com/roburio/builder" -dev-repo: "git+https://github.com/roburio/builder.git" -bug-reports: "https://github.com/roburio/builder/issues" -license: "ISC" - -depends: [ - "ocaml" {>= "4.08.0"} - "dune" {>= "2.0.0"} - "asn1-combinators" - "bheap" - "bos" - "cmdliner" - "cstruct" - "duration" - "fmt" - "fpath" - "logs" - "lwt" - "ptime" - "rresult" - "uuidm" - "http-lwt-client" {>= "0.0.2"} - "base64" -] -build: [ - ["dune" "subst"] {dev} - ["dune" "build" "-p" name "-j" jobs] - ["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"} - ["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"} -] - -synopsis: "Scheduling and executing shell jobs" -url { - src: "git+https://github.com/roburio/builder.git" -} diff --git a/packages/tls-mirage.0.14.1/opam b/packages/tls-mirage.0.14.1/opam deleted file mode 100644 index e4dec8f..0000000 --- a/packages/tls-mirage.0.14.1/opam +++ /dev/null @@ -1,46 +0,0 @@ -opam-version: "2.0" -homepage: "https://github.com/mirleft/ocaml-tls" -dev-repo: "git+https://github.com/mirleft/ocaml-tls.git" -bug-reports: "https://github.com/mirleft/ocaml-tls/issues" -doc: "https://mirleft.github.io/ocaml-tls/doc" -maintainer: ["Hannes Mehnert " "David Kaloper "] -license: "BSD-2-Clause" - -build: [ - ["dune" "subst"] {dev} - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] - -depends: [ - "ocaml" {>= "4.08.0"} - "dune" {>= "1.0"} - "tls" {= version} - "x509" {>= "0.13.0"} - "fmt" - "lwt" {>= "3.0.0"} - "mirage-flow" {>= "2.0.0"} - "mirage-kv" {>= "3.0.0"} - "mirage-clock" {>= "3.0.0"} - "ptime" {>= "0.8.1"} - "mirage-crypto" - "mirage-crypto-pk" -] -tags: [ "org:mirage"] -synopsis: "Transport Layer Security purely in OCaml, MirageOS layer" -description: """ -Tls-mirage provides an effectful FLOW module to be used in the MirageOS -ecosystem. -""" -authors: [ - "David Kaloper " "Hannes Mehnert " -] -url { - src: - "https://github.com/mirleft/ocaml-tls/releases/download/v0.14.1/tls-v0.14.1.tbz" - checksum: [ - "sha256=58cf2d517d6eac5b1ccc5eeb656da690aef2125a19c1eca3fbececd858046216" - "sha512=46854380f2f247cdd1549a939c85a0016a58b23c78f9c8bc41173174c59d531c61ec094adc8ea57b1c902cd35c1886931868fdfcc67b799b80929e00887919b6" - ] -} -x-commit-hash: "fc0ed4a4a9e9cb1bd2d4a42c28c34d78846894e6" diff --git a/packages/tls.0.14.1/opam b/packages/tls.0.14.1/opam deleted file mode 100644 index 2bd424b..0000000 --- a/packages/tls.0.14.1/opam +++ /dev/null @@ -1,69 +0,0 @@ -opam-version: "2.0" -homepage: "https://github.com/mirleft/ocaml-tls" -dev-repo: "git+https://github.com/mirleft/ocaml-tls.git" -bug-reports: "https://github.com/mirleft/ocaml-tls/issues" -doc: "https://mirleft.github.io/ocaml-tls/doc" -maintainer: ["Hannes Mehnert " "David Kaloper "] -license: "BSD-2-Clause" - -build: [ - ["dune" "subst"] {dev} - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] - -depends: [ - "ocaml" {>= "4.08.0"} - "dune" {>= "1.0"} - "ppx_sexp_conv" {>= "v0.9.0"} - "ppx_cstruct" {>= "3.0.0"} - "cstruct" {>= "6.0.0"} - "cstruct-sexp" - "sexplib" - "mirage-crypto" {>= "0.8.1"} - "mirage-crypto-ec" {>= "0.10.0"} - "mirage-crypto-pk" - "mirage-crypto-rng" {>= "0.8.0"} - "x509" {>= "0.13.0"} - "domain-name" {>= "0.3.0"} - "fmt" - "rresult" - "cstruct-unix" {with-test & >= "3.0.0"} - "ounit2" {with-test & >= "2.2.0"} - "lwt" {>= "3.0.0"} - "ptime" {>= "0.8.1"} - "hkdf" - "logs" - "alcotest" {with-test} - "randomconv" {with-test} -] - -tags: [ "org:mirage"] -synopsis: "Transport Layer Security purely in OCaml" -description: """ -Transport Layer Security (TLS) is probably the most widely deployed security -protocol on the Internet. It provides communication privacy to prevent -eavesdropping, tampering, and message forgery. Furthermore, it optionally -provides authentication of the involved endpoints. TLS is commonly deployed for -securing web services ([HTTPS](http://tools.ietf.org/html/rfc2818)), emails, -virtual private networks, and wireless networks. - -TLS uses asymmetric cryptography to exchange a symmetric key, and optionally -authenticate (using X.509) either or both endpoints. It provides algorithmic -agility, which means that the key exchange method, symmetric encryption -algorithm, and hash algorithm are negotiated. - -Read [further](https://nqsb.io) and our [Usenix Security 2015 paper](https://usenix15.nqsb.io). -""" -authors: [ - "David Kaloper " "Hannes Mehnert " -] -url { - src: - "https://github.com/mirleft/ocaml-tls/releases/download/v0.14.1/tls-v0.14.1.tbz" - checksum: [ - "sha256=58cf2d517d6eac5b1ccc5eeb656da690aef2125a19c1eca3fbececd858046216" - "sha512=46854380f2f247cdd1549a939c85a0016a58b23c78f9c8bc41173174c59d531c61ec094adc8ea57b1c902cd35c1886931868fdfcc67b799b80929e00887919b6" - ] -} -x-commit-hash: "fc0ed4a4a9e9cb1bd2d4a42c28c34d78846894e6"